/DPLL

A simple implementation of DPLL in javascript

Primary LanguageJavaScript

No issues in this repository yet.