YASAT - Yet Another SAT Solver Introduction YASAT is a SAT solver that implements CDCL using only the C++ standard library and does not have any external dependency. Build ./build.sh Usage cat ./data/php_2p_3h.cnf | ./build/yasat Output SAT [1, 1, 0, 0, 0, 1]