https://github.com/thefangbear/sat

Boolean expression parser and solver suite
https://github.com/thefangbear/sat

c cpp parser sat solver

Last synced: about 8 hours ago
JSON representation

Boolean expression parser and solver suite

• Host: GitHub
• URL: https://github.com/thefangbear/sat
• Owner: thefangbear
• License: mit
• Created: 2018-06-17T08:17:00.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2018-06-22T10:31:30.000Z (over 6 years ago)
• Last Synced: 2023-10-18T13:10:13.522Z (about 1 year ago)
• Topics: c, cpp, parser, sat, solver
• Language: C++
• Size: 118 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project