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.i686 [43 KiB] |
Changelog
by Joel Barrios (2018-09-03):
- Mass rebuild with gcc-c++ 7.3. |