MiniSat
http://minisat.se
GitHub リポジトリ
https://github.com/niklasso/minisat
CDCL の実装の参考になる？
https://gyazo.com/146399c2449c3d7dcbe6c42d1dfc78ba
https://gyazo.com/082c17ed90aa0de892d6baa116164375