Letter M

minisat2-devel - Development files for minisat2

Website: http://minisat.se/
License: MIT
Vendor: Alcance Libre, Inc.
Description:
The minisat2-devel package contains libraries and header files for
developing applications that use minisat2.

Packages

minisat2-devel-2.2.1-2.fc14.al.i686 [29 KiB] Changelog by Joel Barrios (2018-09-03):
- Mass rebuild with gcc-c++ 7.3.

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