Package: cryptominisat (5.11.21+dfsg1-1 and others)

Links for cryptominisat

Debian Resources:

Download Source Package cryptominisat:

Maintainers:

Debian Science Team (QA Page, Mail Archive)
Julian Rüth (QA Page)
Julien Puydt (QA Page)

External Resources:

Homepage [www.msoos.org]

Similar packages:

interfaccia a riga di comando per il risolutore SAT

CryptoMiniSat è un risolutore SAT moderno, con thread multipli e semplificante.

Questo pacchetto fornisce un'interfaccia a riga di comando che legge formule SAT in forma normale congiuntiva in formato DIMACS con l'estensione di clausole XOR e decide se esse sono soddisfacibili.

Other Packages Related to cryptominisat

depends

recommends

suggests

enhances

dep: libboost-program-options1.83.0 (>= 1.83.0) [ia64]

libreria per opzioni di programma per C++
dep: libc6 (>= 2.38) [not alpha, ia64, sh4]

Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb

dep: libc6 (>= 2.40) [sh4]
dep: libc6.1 (>= 2.37) [ia64]

Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb

dep: libc6.1 (>= 2.38) [alpha]
dep: libcryptominisat5-5.11t64 (>= 5.11.15+dfsg1) [ia64]

libreria per risolutore SAT

dep: libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1) [not ia64]
dep: libgcc-s1 (>= 3.0) [amd64, arm64, mips64el, ppc64, ppc64el, s390x, x32]

libreria di supporto a GCC

dep: libgcc-s1 (>= 3.4) [alpha, riscv64, sh4, sparc64]

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

dep: libgcc-s1 (>= 4.2) [i386]
dep: libgcc-s2 (>= 4.2.1) [m68k]

libreria di supporto a GCC
dep: libgcc-s4 (>= 4.1.1) [hppa]

libreria di supporto a GCC
dep: libstdc++6 (>= 13.1)

libreria GNU Standard C++, versione 3
dep: libunwind8 [ia64]

libreria per tracciare la catena di chiamate di un programma - runtime
dep: zlib1g (>= 1:1.1.4) [not armel, armhf, hppa, m68k, sh4]

libreria di compressione - runtime

dep: zlib1g (>= 1:1.2.3.3) [armel, armhf, hppa, m68k, sh4]

Download cryptominisat

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	5.11.21+dfsg1-1+b3	82.0 kB	355.0 kB	[list of files]
amd64	5.11.21+dfsg1-1+b3	89.2 kB	305.0 kB	[list of files]
arm64	5.11.21+dfsg1-1+b3	79.1 kB	289.0 kB	[list of files]
armel	5.11.21+dfsg1-1+b3	78.7 kB	288.0 kB	[list of files]
armhf	5.11.21+dfsg1-1+b3	81.3 kB	224.0 kB	[list of files]
hppa (unofficial port)	5.11.21+dfsg1-1+b3	87.6 kB	315.0 kB	[list of files]
i386	5.11.21+dfsg1-1+b3	95.5 kB	312.0 kB	[list of files]
ia64 (unofficial port)	5.11.15+dfsg1-1.1	88.3 kB	495.0 kB	[list of files]
m68k (unofficial port)	5.11.21+dfsg1-1+b3	84.0 kB	288.0 kB	[list of files]
mips64el	5.11.21+dfsg1-1+b3	82.6 kB	371.0 kB	[list of files]
ppc64 (unofficial port)	5.11.21+dfsg1-1+b3	89.7 kB	417.0 kB	[list of files]
ppc64el	5.11.21+dfsg1-1+b3	89.3 kB	353.0 kB	[list of files]
riscv64	5.11.21+dfsg1-1+b3	87.3 kB	269.0 kB	[list of files]
s390x	5.11.21+dfsg1-1+b3	85.8 kB	309.0 kB	[list of files]
sh4 (unofficial port)	5.11.21+dfsg1-1+b3	100.2 kB	289.0 kB	[list of files]
sparc64 (unofficial port)	5.11.21+dfsg1-1+b3	72.3 kB	1,062.0 kB	[list of files]
x32 (unofficial port)	5.11.21+dfsg1-1+b3	90.6 kB	288.0 kB	[list of files]