Developer: Zhihan Chen, Xindi Zhang
Homepage: https://github.com/shaowei-cai-group/EasySAT
E-Mail: [email protected]
License: MIT
Environment: Linux with C++11
make
./EasySAT <cnf_file>
The standard .cnf input format and the output format can be seen here