dpll

Demonstration of DPLL + backjumping (learning clauses)

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
codemirror-5.4/lib		codemirror-5.4/lib
examples		examples
vis		vis
LICENSE		LICENSE
Nonogram.jpg		Nonogram.jpg
README.md		README.md
UIDPLL.js		UIDPLL.js
UIDPLLreceive.js		UIDPLLreceive.js
UIDPLLsend.js		UIDPLLsend.js
brain.png		brain.png
europe.png		europe.png
formula-expand.scm		formula-expand.scm
formula_check_syntax.scm		formula_check_syntax.scm
formula_to_cnf.scm		formula_to_cnf.scm
he.js		he.js
index.html		index.html
jquery-1.11.0.min.js		jquery-1.11.0.min.js
jquery-3.0.0.min.js		jquery-3.0.0.min.js
logo_dpll.png		logo_dpll.png
main.js		main.js
package.svg		package.svg
sat.js		sat.js
satforhuman.js		satforhuman.js
scheme_interpreter.js		scheme_interpreter.js
scheme_interpreter.min.js		scheme_interpreter.min.js
stop.png		stop.png
style.css		style.css
sudoku.png		sudoku.png
tools.png		tools.png
wheel.gif		wheel.gif
wheel.png		wheel.png
wheel2.gif		wheel2.gif
worker.js		worker.js

francoisschwarzentruber/dpll