Binary package “cryptominisat” in ubuntu lunar
SAT solver command line interface
CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides a command line interface which reads SAT formulas in
conjunctive normal form in the DIMACS format with the extension of XOR
clauses and decides whether they are satisfiable.
Source package
Published versions
- cryptominisat 5.8.0+dfsg1-2 in amd64 (Release)
- cryptominisat 5.11.4+dfsg1-2build1 in amd64 (Proposed)
- cryptominisat 5.11.4+dfsg1-2build1 in amd64 (Release)
- cryptominisat 5.8.0+dfsg1-2 in arm64 (Release)
- cryptominisat 5.11.4+dfsg1-2build1 in arm64 (Proposed)
- cryptominisat 5.11.4+dfsg1-2build1 in arm64 (Release)
- cryptominisat 5.8.0+dfsg1-2 in armhf (Release)
- cryptominisat 5.11.4+dfsg1-2build1 in armhf (Proposed)
- cryptominisat 5.11.4+dfsg1-2build1 in armhf (Release)
- cryptominisat 5.8.0+dfsg1-2 in ppc64el (Release)
- cryptominisat 5.11.4+dfsg1-2build1 in ppc64el (Proposed)
- cryptominisat 5.11.4+dfsg1-2build1 in ppc64el (Release)
- cryptominisat 5.8.0+dfsg1-2 in riscv64 (Release)
- cryptominisat 5.11.4+dfsg1-2build1 in riscv64 (Proposed)
- cryptominisat 5.11.4+dfsg1-2build1 in riscv64 (Release)
- cryptominisat 5.8.0+dfsg1-2 in s390x (Release)
- cryptominisat 5.11.4+dfsg1-2build1 in s390x (Proposed)
- cryptominisat 5.11.4+dfsg1-2build1 in s390x (Release)