Letter M

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

Listing created by Repoview-0.6.6-6.fc14.al