https://github.com/conp-solutions/mergesat

configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)
https://github.com/conp-solutions/mergesat

automated-reasoning sat

Last synced: 8 months ago
JSON representation

configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)

• Host: GitHub
• URL: https://github.com/conp-solutions/mergesat
• Owner: conp-solutions
• License: other
• Fork: true (niklasso/minisat)
• Created: 2018-03-22T20:09:14.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2023-11-20T19:08:17.000Z (over 2 years ago)
• Last Synced: 2023-11-20T20:27:42.037Z (over 2 years ago)
• Topics: automated-reasoning, sat
• Language: C++
• Homepage: https://conp-solutions.com
• Size: 1.71 MB
• Stars: 33
• Watchers: 3
• Forks: 3
• Open Issues: 6
• Metadata Files:
  • Readme: README
  • Changelog: CHANGELOG
  • License: LICENSE

Awesome Lists containing this project

• awesome-sat-solvers - code