/tiny-sat

A SAT solver using DPLL algorithm.

Primary LanguageJavaMIT LicenseMIT

Watchers