/YaSAT

toy SAT solver, course homework

Primary LanguageC++

YaSAT

Yet Another SAT Solver.

report

  • Milestone 1 report: doc/report_1.rst