- libboost-program-options1.74.0 (>= 1.74.0)
- libc6 (>= 2.34)
- libcryptominisat5-5.11 (>= 5.11.4+dfsg1)
- libgcc-s1 (>= 3.0)
- libstdc++6 (>= 11)
- 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: 360.4 kB
Architectures: arm64 amd64