libcryptominisat5-5.8 5.8.0+dfsg1-1 (arm64 binary) in ubuntu groovy
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides a shared library to link against the CryptoMiniSat
library.
Details
- Package version:
- 5.8.0+dfsg1-1
- Status:
- Obsolete
- Component:
- universe
- Priority:
- Optional
Downloadable files
arm64 build of cryptominisat 5.8.0+dfsg1-1 in ubuntu groovy PROPOSED produced
these files:
- libcryptominisat5-5.8_5.8.0+dfsg1-1_arm64.deb (377.5 KiB)