- libc6 (>= 2.38)
- libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1)
- libgcc-s1 (>= 3.0)
- libstdc++6 (>= 13.1)
- zlib1g (>= 1:1.1.4)
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.
Installed Size: 295.9 kB
Architectures: arm64 amd64