https://github.com/c-cube/microsat
experiments around microsat
https://github.com/c-cube/microsat
Last synced: 10 months ago
JSON representation
experiments around microsat
- Host: GitHub
- URL: https://github.com/c-cube/microsat
- Owner: c-cube
- License: mit
- Created: 2019-07-19T20:53:54.000Z (almost 7 years ago)
- Default Branch: master
- Last Pushed: 2023-05-03T01:34:03.000Z (about 3 years ago)
- Last Synced: 2025-07-22T03:10:45.804Z (10 months ago)
- Language: Rust
- Size: 548 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
Compile using:
gcc microsat.c -O2 -DSTANDALONE -o microsat
Use as follows:
./microsat FILE
in which FILE is a SAT problem in the DIMACS format