cryptominisat-libs - Cryptominisat library
| Website: | http://www.msoos.org/ |
|---|---|
| License: | MIT |
| Vendor: | Alcance Libre, Inc. |
- Description:
The cryptominisat library.
Packages
| cryptominisat-libs-5.7.1-4.fc14.al.x86_64 [440 KiB] |
Changelog
by Joel Barrios (2020-06-13):
- Rebuild with Boost 1.73.0. |
| cryptominisat-libs-5.7.1-4.fc14.al.i686 [469 KiB] |
Changelog
by Joel Barrios (2020-06-13):
- Rebuild with Boost 1.73.0. |