Paketti: cryptominisat (5.11.21+dfsg1-1) [debports]

Links for cryptominisat

Debian-palvelut:

Vikailmoitukset

Imuroi lähdekoodipaketti :

Ei löytynyt

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.34)

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)

GCC:n apukirjasto
dep: libstdc++6 (>= 13.1)

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

pakkauskirjaston ajonaikaistiedostot

Imuroi cryptominisat

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
x32 (epävirallinen siirros)	89.3 kt	287.0 kt	[tiedostoluettelo]