https://github.com/bwconrad/dpll-sat-solver

SAT solver using the DPLL algorithm
https://github.com/bwconrad/dpll-sat-solver

artificial-intelligence python3 sat

Last synced: about 1 month ago
JSON representation

SAT solver using the DPLL algorithm

• Host: GitHub
• URL: https://github.com/bwconrad/dpll-sat-solver
• Owner: bwconrad
• Created: 2018-01-05T22:06:36.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2018-01-12T04:14:18.000Z (almost 7 years ago)
• Last Synced: 2024-05-14T00:18:09.975Z (8 months ago)
• Topics: artificial-intelligence, python3, sat
• Language: Python
• Homepage:
• Size: 17.6 KB
• Stars: 4
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project