| description | Microsat SAT solver |
| homepage URL | https://github.com/marijnheule/microsat/ |
| repository URL | https://github.com/marijnheule/microsat.git |
| owner | marijn@heule.nl |
| last change | Sat, 18 Jun 2022 19:07:52 +0000 (18 21:07 +0200) |
| last refresh | Sun, 2 Nov 2025 15:22:28 +0000 (2 16:22 +0100) |
| mirror URL | git://repo.or.cz/microsat.git |
| https://repo.or.cz/microsat.git | |
| ssh://[email protected]/microsat.git | |
| bundle info | microsat.git downloadable bundles |
| content tags |
README.md
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
| 3 years ago | master | logtree |