Demonstration of DPLL + backjumping (learning clauses)
francoisschwarzentruber / dpll Goto Github PK
View Code? Open in Web Editor NEWDemonstration of DPLL + backjumping (learning clauses)
Home Page: https://francoisschwarzentruber.github.io/dpll/
License: GNU General Public License v3.0