- libboost-program-options1.74.0 (>= 1.74.0)
- libc6 (>= 2.29)
- libcryptominisat5-5.8 (>= 5.8.0+dfsg1)
- libgcc-s1 (>= 3.0)
- libstdc++6 (>= 9)
- 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: 313.3 kB
Architectures: amd64 arm64