/sat-solver

A simple implementation of DPLL

Primary LanguageJavaMIT LicenseMIT

Watchers