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

Implementation of DPLL SAT solver algorithm
https://github.com/mmz33/dpll-sat-solver

backtracking dpll-algorithm heuristics sat-solver

Last synced: about 1 month ago
JSON representation

Implementation of DPLL SAT solver algorithm

• Host: GitHub
• URL: https://github.com/mmz33/dpll-sat-solver
• Owner: mmz33
• Created: 2020-02-01T13:47:10.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2020-02-01T20:33:30.000Z (almost 5 years ago)
• Last Synced: 2023-03-05T13:33:48.267Z (over 1 year ago)
• Topics: backtracking, dpll-algorithm, heuristics, sat-solver
• Language: Python
• Homepage:
• Size: 820 KB
• Stars: 0
• Watchers: 1
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project