Implementation of backjumping in DPLL SAT solvers. A project for Automated Reasoning course.
Implementation is based on paper: http://poincare.matf.bg.ac.rs/~filip//phd/sat-tutorial.pdf
Start program using Qt Creator.
-
Notifications
You must be signed in to change notification settings - Fork 0
jana-jovicic/Non-chronological-backtracking-in-DPLL
About
Implementation of backjumping in DPLL SAT solvers. A project for Automated Reasoning course.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published