Binary package “cryptominisat” in ubuntu jammy
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 (Proposed)
- cryptominisat 5.8.0+dfsg1-2 in amd64 (Release)
- cryptominisat 5.8.0+dfsg1-2 in arm64 (Proposed)
- cryptominisat 5.8.0+dfsg1-2 in arm64 (Release)
- cryptominisat 5.8.0+dfsg1-2 in armhf (Proposed)
- cryptominisat 5.8.0+dfsg1-2 in armhf (Release)
- cryptominisat 5.8.0+dfsg1-2 in ppc64el (Proposed)
- cryptominisat 5.8.0+dfsg1-2 in ppc64el (Release)
- cryptominisat 5.8.0+dfsg1-2 in riscv64 (Proposed)
- cryptominisat 5.8.0+dfsg1-2 in riscv64 (Release)
- cryptominisat 5.8.0+dfsg1-2 in s390x (Proposed)
- cryptominisat 5.8.0+dfsg1-2 in s390x (Release)