cryptominisat-devel - Header files for developing with cryptominisat
| Website: | http://www.msoos.org/ |
|---|---|
| License: | MIT |
| Vendor: | Alcance Libre, Inc. |
- Description:
Header files for developing applications that use cryptominisat.
Packages
| cryptominisat-devel-5.7.1-4.fc14.al.i686 [20 KiB] |
Changelog
by Joel Barrios (2020-06-13):
- Rebuild with Boost 1.73.0. |