https://github.com/francoisschwarzentruber/dpll

Demonstration of DPLL + backjumping (learning clauses)
https://github.com/francoisschwarzentruber/dpll

dpll-algorithm educational-software

Last synced: about 1 month ago
JSON representation

Demonstration of DPLL + backjumping (learning clauses)

• Host: GitHub
• URL: https://github.com/francoisschwarzentruber/dpll
• Owner: francoisschwarzentruber
• License: gpl-3.0
• Created: 2022-03-17T10:09:36.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2022-03-19T20:20:57.000Z (about 4 years ago)
• Last Synced: 2025-03-02T07:18:30.968Z (over 1 year ago)
• Topics: dpll-algorithm, educational-software
• Language: JavaScript
• Homepage: https://francoisschwarzentruber.github.io/dpll/
• Size: 1.71 MB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# dpll

Demonstration of DPLL + backjumping (learning clauses)