Binary package cryptominisat/5.11.21+dfsg1-1+b1 in landing @ pureos

cryptominisat - 5.11.21+dfsg1-1+b1 main

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.

Priority: optional
Section: math
Suites: byzantium crimson dawn landing
Maintainer: Debian Science Team <debian-science-maintainers [꩜] lists.alioth.debian.org>

Homepage Source Package

This package is currently not installable!

Conflicts amd64

libc6 vs. base-files

Conflicts arm64

libc6 vs. base-files

Dependencies

libc6 (>= 2.38)
libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1)
libgcc-s1 (>= 3.0)
libstdc++6 (>= 13.1)
zlib1g (>= 1:1.1.4)

Installed Size: 295.9 kB
Architectures: amd64 arm64

Versions

5.11.21+dfsg1-1+b1 arm64 5.11.21+dfsg1-1+b1 amd64 5.11.21+dfsg1-1 arm64 5.11.21+dfsg1-1 amd64