Demonstration of DPLL + backjumping (learning clauses)
Primary LanguageJavaScriptGNU General Public License v3.0GPL-3.0