https://github.com/sbeyer/commonsat
a common C++11 SAT solver interface for different SAT solvers
https://github.com/sbeyer/commonsat
c-plus-plus c-plus-plus-11 cpp cpp-library cpp11 formula header-only library sat sat-solver satsolver
Last synced: 2 months ago
JSON representation
a common C++11 SAT solver interface for different SAT solvers
- Host: GitHub
- URL: https://github.com/sbeyer/commonsat
- Owner: sbeyer
- License: mit
- Created: 2015-07-26T19:55:05.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2024-08-04T03:04:30.000Z (over 1 year ago)
- Last Synced: 2024-08-05T03:45:54.608Z (over 1 year ago)
- Topics: c-plus-plus, c-plus-plus-11, cpp, cpp-library, cpp11, formula, header-only, library, sat, sat-solver, satsolver
- Language: C++
- Size: 75.2 KB
- Stars: 3
- Watchers: 3
- Forks: 0
- Open Issues: 0