EasySAT: A Simple CDCL SAT Solver

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