/pysat

Simple DPLL based SAT Solver implemented in RPython

Primary LanguagePython

Watchers