https://github.com/nitinkedia7/satispy

Super efficient SAT solver in 500 lines of code
https://github.com/nitinkedia7/satispy

boolean-satisfiability cdcl cprofile python

Last synced: about 2 months ago
JSON representation

Super efficient SAT solver in 500 lines of code

• Host: GitHub
• URL: https://github.com/nitinkedia7/satispy
• Owner: nitinkedia7
• Created: 2020-05-29T08:20:14.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-06-03T19:27:15.000Z (over 4 years ago)
• Last Synced: 2023-08-03T08:51:22.222Z (over 1 year ago)
• Topics: boolean-satisfiability, cdcl, cprofile, python
• Language: Jupyter Notebook
• Homepage:
• Size: 11.1 MB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project