Giters

cwshu / YaSAT

toy SAT solver, course homework

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

YaSAT

Yet Another SAT Solver.

report

  • Milestone 1 report: doc/report_1.rst

About

toy SAT solver, course homework

Languages

Language:C++ 97.2%Language:Makefile 2.8%