EasySAT: A Simple CDCL SAT Solver
March 8, 2023 ยท View on GitHub
Developer: Zhihan Chen, Xindi Zhang
Homepage: https://github.com/shaowei-cai-group/EasySAT
E-Mail: zhangxd@ios.ac.cn
License: MIT
Environment: Linux with C++11
How to Build
make
How to use
./EasySAT <cnf_file>
The standard .cnf input format and the output format can be seen here