Binary package “libcryptominisat5-5.11” in ubuntu lunar
SAT solver library
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides a shared library to link against the CryptoMiniSat
library.
Source package
Published versions
- libcryptominisat5-5.11 5.11.4+dfsg1-2build1 in amd64 (Proposed)
- libcryptominisat5-5.11 5.11.4+dfsg1-2build1 in amd64 (Release)
- libcryptominisat5-5.11 5.11.4+dfsg1-2build1 in arm64 (Proposed)
- libcryptominisat5-5.11 5.11.4+dfsg1-2build1 in arm64 (Release)
- libcryptominisat5-5.11 5.11.4+dfsg1-2build1 in armhf (Proposed)
- libcryptominisat5-5.11 5.11.4+dfsg1-2build1 in armhf (Release)
- libcryptominisat5-5.11 5.11.4+dfsg1-2build1 in ppc64el (Proposed)
- libcryptominisat5-5.11 5.11.4+dfsg1-2build1 in ppc64el (Release)
- libcryptominisat5-5.11 5.11.4+dfsg1-2build1 in riscv64 (Proposed)
- libcryptominisat5-5.11 5.11.4+dfsg1-2build1 in riscv64 (Release)
- libcryptominisat5-5.11 5.11.4+dfsg1-2build1 in s390x (Proposed)
- libcryptominisat5-5.11 5.11.4+dfsg1-2build1 in s390x (Release)