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. |