A simple boolean satisfiability solver that uses DPLL
Primary LanguageGoMIT LicenseMIT
This repository is not active