Paket: cryptominisat (5.11.21+dfsg1-3)

Länkar för cryptominisat

Debianresurser:

Hämta källkodspaketet cryptominisat:

Ansvariga:

Debian Science Maintainers (QA-sida, E-postarkiv)
Julian Rüth (QA-sida)
Julien Puydt (QA-sida)

Externa resurser:

Hemsida [www.msoos.org]

Liknande paket:

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.

Andra paket besläktade med cryptominisat

beror

rekommenderar

föreslår

enhances

dep: libc6 (>= 2.38)

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb
dep: libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1)

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

GCC stödbibliotek

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

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

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

GNU standardbibliotek v3 för C++
dep: zlib1g (>= 1:1.1.4) [ej armhf]

Kompressionsbibliotek - körtidspaket

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

Hämta cryptominisat

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
amd64	89,3 kbyte	304,0 kbyte	[filförteckning]
arm64	79,3 kbyte	288,0 kbyte	[filförteckning]
armhf	81,4 kbyte	223,0 kbyte	[filförteckning]
i386	95,4 kbyte	311,0 kbyte	[filförteckning]
ppc64el	88,8 kbyte	352,0 kbyte	[filförteckning]
riscv64	87,4 kbyte	268,0 kbyte	[filförteckning]
s390x	85,7 kbyte	308,0 kbyte	[filförteckning]