https://github.com/tlmader/sat-solver

Finds a model which satisfies a CNF expression.
https://github.com/tlmader/sat-solver

Last synced: 1 day ago
JSON representation

Finds a model which satisfies a CNF expression.

• Host: GitHub
• URL: https://github.com/tlmader/sat-solver
• Owner: tlmader
• Created: 2017-03-21T18:30:27.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2017-03-22T04:33:06.000Z (over 7 years ago)
• Last Synced: 2024-04-14T22:56:56.715Z (7 months ago)
• Language: Common Lisp
• Homepage: https://goo.gl/mYqBde
• Size: 9.77 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project