minisat2-libs - Minimalistic SAT solver library
| Website: | http://minisat.se/ |
|---|---|
| License: | MIT |
| Vendor: | Alcance Libre, Inc. |
- Description:
The MiniSat library.
Packages
| minisat2-libs-2.2.1-2.fc14.al.x86_64 [42 KiB] |
Changelog
by Joel Barrios (2018-09-03):
- Mass rebuild with gcc-c++ 7.3. |
| minisat2-libs-2.2.1-1.fc14.al.i686 [42 KiB] |
Changelog
by Jerry James (2016-03-19):
- Switch to Debian sources |