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