[ Quellcode: cryptominisat ]
Paket: cryptominisat (5.11.21+dfsg1-1 und andere)
Links für cryptominisat
Debian-Ressourcen:
Quellcode-Paket cryptominisat herunterladen:
- [cryptominisat_5.11.21+dfsg1-1.dsc]
- [cryptominisat_5.11.21+dfsg1.orig.tar.xz]
- [cryptominisat_5.11.21+dfsg1-1.debian.tar.xz]
Betreuer:
Externe Ressourcen:
- Homepage [www.msoos.org]
Ähnliche Pakete:
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 Pakete mit Bezug zu cryptominisat
|
|
|
|
-
- dep: libboost-program-options1.83.0 (>= 1.83.0) [ia64]
- C++-Bibliothek für Programmoptionen
-
- dep: libc6 (>= 2.38) [nicht alpha, ia64, sh4]
- GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
- dep: libc6 (>= 2.40) [sh4]
-
- dep: libc6.1 (>= 2.37) [ia64]
- GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch 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) [nicht ia64]
-
- dep: libgcc-s1 (>= 3.0) [amd64, arm64, mips64el, ppc64, ppc64el, s390x, x32]
- GCC Support-Bibliothek
- 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-Bibliothek
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- GCC Support-Bibliothek
-
- dep: libstdc++6 (>= 13.1)
- GNU-Implementierung der Standard-C++-Bibliothek (Version 3)
-
- dep: libunwind8 [ia64]
- Bibliothek zur Ermittlung der Aufrufkette eines Programms - Laufzeit
-
- dep: zlib1g (>= 1:1.1.4) [nicht armel, armhf, hppa, m68k, sh4]
- Kompressions-Bibliothek - Laufzeit
- dep: zlib1g (>= 1:1.2.3.3) [armel, armhf, hppa, m68k, sh4]
cryptominisat herunterladen
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| alpha (inoffizielle Portierung) | 5.11.21+dfsg1-1+b3 | 82,0 kB | 355,0 kB | [Liste der Dateien] |
| amd64 | 5.11.21+dfsg1-1+b3 | 89,2 kB | 305,0 kB | [Liste der Dateien] |
| arm64 | 5.11.21+dfsg1-1+b3 | 79,1 kB | 289,0 kB | [Liste der Dateien] |
| armel | 5.11.21+dfsg1-1+b3 | 78,7 kB | 288,0 kB | [Liste der Dateien] |
| armhf | 5.11.21+dfsg1-1+b3 | 81,3 kB | 224,0 kB | [Liste der Dateien] |
| hppa (inoffizielle Portierung) | 5.11.21+dfsg1-1+b3 | 87,6 kB | 315,0 kB | [Liste der Dateien] |
| i386 | 5.11.21+dfsg1-1+b3 | 95,5 kB | 312,0 kB | [Liste der Dateien] |
| ia64 (inoffizielle Portierung) | 5.11.15+dfsg1-1.1 | 88,3 kB | 495,0 kB | [Liste der Dateien] |
| m68k (inoffizielle Portierung) | 5.11.21+dfsg1-1+b3 | 84,0 kB | 288,0 kB | [Liste der Dateien] |
| mips64el | 5.11.21+dfsg1-1+b3 | 82,6 kB | 371,0 kB | [Liste der Dateien] |
| ppc64 (inoffizielle Portierung) | 5.11.21+dfsg1-1+b3 | 89,7 kB | 417,0 kB | [Liste der Dateien] |
| ppc64el | 5.11.21+dfsg1-1+b3 | 89,3 kB | 353,0 kB | [Liste der Dateien] |
| riscv64 | 5.11.21+dfsg1-1+b3 | 87,3 kB | 269,0 kB | [Liste der Dateien] |
| s390x | 5.11.21+dfsg1-1+b3 | 85,8 kB | 309,0 kB | [Liste der Dateien] |
| sh4 (inoffizielle Portierung) | 5.11.21+dfsg1-1+b3 | 100,2 kB | 289,0 kB | [Liste der Dateien] |
| sparc64 (inoffizielle Portierung) | 5.11.21+dfsg1-1+b3 | 72,3 kB | 1.062,0 kB | [Liste der Dateien] |
| x32 (inoffizielle Portierung) | 5.11.21+dfsg1-1+b3 | 90,6 kB | 288,0 kB | [Liste der Dateien] |