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:

SAT-løser - grænseflade for kommandolinjen

CryptoMiniSat er en moderne, flertrådet, forenklende SAT-løser.

Denne pakke tilbyder en grænseflade til kommandolinjen, som læser SAT-formler i konjunktiv normal form i DIMACS-formatet med udvidelse af XOR-klausuler og bestemmer om de kan tilfredsstilles.

Other Packages Related to cryptominisat

depends

recommends

suggests

enhances

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

bibliotek til programindstillinger for C++
dep: libc6 (>= 2.37) [sh4]

GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb

dep: libc6 (>= 2.38) [not alpha, ia64, sh4]
dep: libc6.1 (>= 2.34) [alpha]

GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6.1-udeb

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

SAT-løserbibliotek

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

GCC støttebibliotek

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]

GCC støttebibliotek
dep: libgcc-s4 (>= 4.1.1) [hppa]

GCC støttebibliotek
dep: libstdc++6 (>= 13.1)

GNU Standard C++ bibliotek v3
dep: libunwind8 [ia64]

Bibliotek til at bestemme call-chain for et program - kørselstid
dep: zlib1g (>= 1:1.1.4) [not armel, armhf, hppa, m68k, sh4]

Komprimeringsbibliotek - kørselstid

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	81.6 kB	354.0 kB	[list of files]
amd64	5.11.21+dfsg1-1+b2	89.0 kB	305.0 kB	[list of files]
arm64	5.11.21+dfsg1-1+b2	79.2 kB	289.0 kB	[list of files]
armel	5.11.21+dfsg1-1+b2	78.4 kB	264.0 kB	[list of files]
armhf	5.11.21+dfsg1-1+b2	81.3 kB	208.0 kB	[list of files]
hppa (unofficial port)	5.11.21+dfsg1-1+b2	87.6 kB	315.0 kB	[list of files]
i386	5.11.21+dfsg1-1+b2	95.4 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+b2	83.0 kB	288.0 kB	[list of files]
mips64el	5.11.21+dfsg1-1+b2	81.6 kB	371.0 kB	[list of files]
ppc64 (unofficial port)	5.11.21+dfsg1-1+b2	89.6 kB	417.0 kB	[list of files]
ppc64el	5.11.21+dfsg1-1+b2	89.3 kB	353.0 kB	[list of files]
riscv64	5.11.21+dfsg1-1+b2	87.4 kB	269.0 kB	[list of files]
s390x	5.11.21+dfsg1-1+b2	85.7 kB	309.0 kB	[list of files]
sh4 (unofficial port)	5.11.21+dfsg1-1+b1	98.5 kB	289.0 kB	[list of files]
sparc64 (unofficial port)	5.11.21+dfsg1-1+b2	72.1 kB	1,062.0 kB	[list of files]
x32 (unofficial port)	5.11.21+dfsg1-1+b2	90.6 kB	288.0 kB	[list of files]