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