Paketti: cryptominisat (5.11.21+dfsg1-3)

Links for cryptominisat

Debian-palvelut:

Imuroi lähdekoodipaketti cryptominisat:

Ylläpitäjät:

External Resources:

Kotisivu [www.msoos.org]

Samankaltaisia paketteja:

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.

Muut pakettiin cryptominisat liittyvät paketit

depends

recommends

suggests

enhances

dep: libc6 (>= 2.38)

GNU-C-kirjasto: jaetut kirjastot
myös näennäispaketti, jonka toteuttaa libc6-udeb
dep: libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1)

SAT solver library
dep: libgcc-s1 (>= 3.0) [ei armhf, i386, riscv64]

GCC:n apukirjasto

dep: libgcc-s1 (>= 3.4) [riscv64]

dep: libgcc-s1 (>= 3.5) [armhf]

dep: libgcc-s1 (>= 4.2) [i386]
dep: libstdc++6 (>= 13.1)

GNU standardi C++ -kirjasto, versio 3
dep: zlib1g (>= 1:1.1.4) [ei armhf]

pakkauskirjaston ajonaikaistiedostot

dep: zlib1g (>= 1:1.2.3.3) [armhf]

Imuroi cryptominisat

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
amd64	89.3 kt	304.0 kt	[tiedostoluettelo]
arm64	79.3 kt	288.0 kt	[tiedostoluettelo]
armhf	81.4 kt	223.0 kt	[tiedostoluettelo]
i386	95.4 kt	311.0 kt	[tiedostoluettelo]
ppc64el	88.8 kt	352.0 kt	[tiedostoluettelo]
riscv64	87.4 kt	268.0 kt	[tiedostoluettelo]
s390x	85.7 kt	308.0 kt	[tiedostoluettelo]