The four files in this directory are copies of source code files of the preprocessor of SharpSAT-TD.
- bitset.cpp
- subsumer.cpp
- subsumer.hpp
- utils.hpp
 
https://github.com/Laakeri/sharpsat-td

2022 Kenji Hashimoto