[ Bron: cryptominisat ]
Pakket: cryptominisat (5.11.21+dfsg1-3 en anderen)
Verwijzigingen voor cryptominisat
Debian bronnen:
Het bronpakket cryptominisat downloaden:
- [cryptominisat_5.11.21+dfsg1-3.dsc]
- [cryptominisat_5.11.21+dfsg1.orig.tar.xz]
- [cryptominisat_5.11.21+dfsg1-3.debian.tar.xz]
Beheerders:
- Debian Science Maintainers (QA-pagina, Mailarchief)
- Julian Rüth (QA-pagina)
- Julien Puydt (QA-pagina)
Externe bronnen:
- Homepage [www.msoos.org]
Vergelijkbare pakketten:
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.
Andere aan cryptominisat gerelateerde pakketten
|
|
|
|
-
- dep: libboost-program-options1.83.0 (>= 1.83.0) [ia64]
- program options library for C++
-
- dep: libc6 (>= 2.38) [niet alpha, ia64, loong64, sh4]
- GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6-udeb
- dep: libc6 (>= 2.41) [loong64, sh4]
-
- dep: libc6.1 (>= 2.37) [ia64]
- GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6.1-udeb
- dep: libc6.1 (>= 2.38) [alpha]
-
- dep: libcryptominisat5-5.11t64 (>= 5.11.15+dfsg1) [ia64]
- SAT solver library
- dep: libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1) [niet ia64]
-
- dep: libgcc-s1 (>= 3.0) [amd64, arm64, loong64, mips64el, ppc64, ppc64el, s390x, x32]
- GCC support bibliotheek
- 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 support bibliotheek
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- GCC support bibliotheek
-
- dep: libstdc++6 (>= 13.1)
- GNU Standard C++ Library v3
-
- dep: libunwind8 [ia64]
- library to determine the call-chain of a program - runtime
-
- dep: zlib1g (>= 1:1.1.4) [niet armel, armhf, hppa, m68k, sh4]
- compressiebibliotheek - programma's
- dep: zlib1g (>= 1:1.2.3.3) [armel, armhf, hppa, m68k, sh4]
cryptominisat downloaden
| Platform | Versie | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|---|
| alpha (unofficial port) | 5.11.21+dfsg1-3 | 82,1 kB | 354,0 kB | [overzicht] |
| amd64 | 5.11.21+dfsg1-3 | 89,3 kB | 304,0 kB | [overzicht] |
| arm64 | 5.11.21+dfsg1-3 | 79,3 kB | 288,0 kB | [overzicht] |
| armel | 5.11.21+dfsg1-3 | 78,6 kB | 287,0 kB | [overzicht] |
| armhf | 5.11.21+dfsg1-3 | 81,4 kB | 223,0 kB | [overzicht] |
| hppa (unofficial port) | 5.11.21+dfsg1-3 | 87,7 kB | 314,0 kB | [overzicht] |
| i386 | 5.11.21+dfsg1-3 | 95,4 kB | 311,0 kB | [overzicht] |
| ia64 (unofficial port) | 5.11.15+dfsg1-1.1 | 88,3 kB | 495,0 kB | [overzicht] |
| loong64 (unofficial port) | 5.11.21+dfsg1-3 | 82,4 kB | 352,0 kB | [overzicht] |
| m68k (unofficial port) | 5.11.21+dfsg1-3 | 83,0 kB | 287,0 kB | [overzicht] |
| mips64el | 5.11.21+dfsg1-3 | 82,6 kB | 370,0 kB | [overzicht] |
| ppc64 (unofficial port) | 5.11.21+dfsg1-3 | 89,2 kB | 416,0 kB | [overzicht] |
| ppc64el | 5.11.21+dfsg1-3 | 88,8 kB | 352,0 kB | [overzicht] |
| riscv64 | 5.11.21+dfsg1-3 | 87,4 kB | 268,0 kB | [overzicht] |
| s390x | 5.11.21+dfsg1-3 | 85,7 kB | 308,0 kB | [overzicht] |
| sh4 (unofficial port) | 5.11.21+dfsg1-3 | 100,1 kB | 288,0 kB | [overzicht] |
| sparc64 (unofficial port) | 5.11.21+dfsg1-3 | 72,0 kB | 1.061,0 kB | [overzicht] |
| x32 (unofficial port) | 5.11.21+dfsg1-3 | 90,7 kB | 287,0 kB | [overzicht] |