/MySat

Simple console SAT-solver that utilizes DPLL algorithm and DIMACS input format

Primary LanguageF#MIT LicenseMIT

Watchers