https://github.com/positiveblue/simplesatsolver

A Simple Sat Solver
https://github.com/positiveblue/simplesatsolver

algorithm cpp17 sat-solver

Last synced: 8 days ago
JSON representation

A Simple Sat Solver

• Host: GitHub
• URL: https://github.com/positiveblue/simplesatsolver
• Owner: positiveblue
• License: mit
• Created: 2016-04-26T11:22:08.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2019-06-17T15:15:48.000Z (over 5 years ago)
• Last Synced: 2024-04-17T09:12:41.641Z (7 months ago)
• Topics: algorithm, cpp17, sat-solver
• Language: C++
• Homepage:
• Size: 236 KB
• Stars: 1
• Watchers: 3
• Forks: 1
• Open Issues: 2

Awesome Lists containing this project