[ Källkod: cryptominisat ]
Paket: cryptominisat (5.11.21+dfsg1-1 och andra)
Länkar för cryptominisat
Debianresurser:
Hämta källkodspaketet cryptominisat:
- [cryptominisat_5.11.21+dfsg1-1.dsc]
- [cryptominisat_5.11.21+dfsg1.orig.tar.xz]
- [cryptominisat_5.11.21+dfsg1-1.debian.tar.xz]
Ansvariga:
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
|
|
|
|
-
- dep: libboost-program-options1.83.0 (>= 1.83.0) [alpha, ia64]
- program options library for C++
-
- dep: libc6 (>= 2.34) [ej alpha, ia64, sh4]
- GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb
- dep: libc6 (>= 2.37) [sh4]
-
- dep: libc6.1 (>= 2.34) [alpha]
- GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6.1-udeb
- dep: libc6.1 (>= 2.37) [ia64]
-
- dep: libcryptominisat5-5.11t64 (>= 5.11.15+dfsg1) [alpha, ia64]
- SAT solver library
- dep: libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1) [ej alpha, ia64]
-
- dep: libgcc-s1 (>= 3.0) [alpha, amd64, arm64, mips64el, ppc64, ppc64el, s390x, x32]
- GCC stödbibliotek
- dep: libgcc-s1 (>= 3.4) [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ödbibliotek
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- GCC stödbibliotek
-
- dep: libstdc++6 (>= 13.1)
- GNU standardbibliotek v3 för C++
-
- dep: libunwind8 [ia64]
- library to determine the call-chain of a program - runtime
-
- dep: zlib1g (>= 1:1.1.4) [ej armel, armhf, hppa, m68k, sh4]
- Kompressionsbibliotek - körtidspaket
- dep: zlib1g (>= 1:1.2.3.3) [armel, armhf, hppa, m68k, sh4]
Hämta cryptominisat
| Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|---|
| alpha (inofficiell anpassning) | 5.11.15+dfsg1-1.1 | 74,0 kbyte | 352,0 kbyte | [filförteckning] |
| amd64 | 5.11.21+dfsg1-1 | 87,7 kbyte | 296,0 kbyte | [filförteckning] |
| arm64 | 5.11.21+dfsg1-1 | 78,0 kbyte | 288,0 kbyte | [filförteckning] |
| armel | 5.11.21+dfsg1-1 | 77,1 kbyte | 259,0 kbyte | [filförteckning] |
| armhf | 5.11.21+dfsg1-1 | 79,4 kbyte | 203,0 kbyte | [filförteckning] |
| hppa (inofficiell anpassning) | 5.11.21+dfsg1-1 | 87,0 kbyte | 315,0 kbyte | [filförteckning] |
| i386 | 5.11.21+dfsg1-1 | 93,8 kbyte | 303,0 kbyte | [filförteckning] |
| ia64 (inofficiell anpassning) | 5.11.15+dfsg1-1.1 | 88,3 kbyte | 495,0 kbyte | [filförteckning] |
| m68k (inofficiell anpassning) | 5.11.21+dfsg1-1 | 83,0 kbyte | 287,0 kbyte | [filförteckning] |
| mips64el | 5.11.21+dfsg1-1 | 81,1 kbyte | 371,0 kbyte | [filförteckning] |
| ppc64 (inofficiell anpassning) | 5.11.21+dfsg1-1 | 88,5 kbyte | 416,0 kbyte | [filförteckning] |
| ppc64el | 5.11.21+dfsg1-1 | 88,4 kbyte | 352,0 kbyte | [filförteckning] |
| riscv64 | 5.11.21+dfsg1-1 | 86,9 kbyte | 264,0 kbyte | [filförteckning] |
| s390x | 5.11.21+dfsg1-1 | 84,3 kbyte | 304,0 kbyte | [filförteckning] |
| sh4 (inofficiell anpassning) | 5.11.21+dfsg1-1 | 98,2 kbyte | 288,0 kbyte | [filförteckning] |
| sparc64 (inofficiell anpassning) | 5.11.21+dfsg1-1 | 71,7 kbyte | 1.061,0 kbyte | [filförteckning] |
| x32 (inofficiell anpassning) | 5.11.21+dfsg1-1 | 89,3 kbyte | 287,0 kbyte | [filförteckning] |