[ Source: cryptominisat ]
Package: cryptominisat (5.11.21+dfsg1-3 and others)
Links for cryptominisat
Debian Resources:
Download Source Package cryptominisat:
- [cryptominisat_5.11.21+dfsg1-3.dsc]
- [cryptominisat_5.11.21+dfsg1.orig.tar.xz]
- [cryptominisat_5.11.21+dfsg1-3.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [www.msoos.org]
Similar packages:
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.
Other Packages Related to cryptominisat
|
|
|
|
-
- dep: libboost-program-options1.83.0 (>= 1.83.0) [ia64]
- program options library for C++
-
- dep: libc6 (>= 2.38) [not alpha, ia64, loong64, sh4]
- GNU C 라이브러리: 공유 라이브러리
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.41) [loong64, sh4]
-
- dep: libc6.1 (>= 2.37) [ia64]
- GNU C 라이브러리: 공유 라이브러리
also a virtual package provided by 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) [not ia64]
-
- dep: libgcc-s1 (>= 3.0) [amd64, arm64, loong64, mips64el, ppc64, ppc64el, s390x, x32]
- GCC 기능 지원 라이브러리
- 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 기능 지원 라이브러리
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- GCC 기능 지원 라이브러리
-
- dep: libstdc++6 (>= 13.1)
- GNU 표준 C++ 라이브러리 v3
-
- dep: libunwind8 [ia64]
- library to determine the call-chain of a program - runtime
-
- dep: zlib1g (>= 1:1.1.4) [not armel, armhf, hppa, m68k, sh4]
- 압축 라이브러리 - 런타임
- dep: zlib1g (>= 1:1.2.3.3) [armel, armhf, hppa, m68k, sh4]
Download cryptominisat
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 5.11.21+dfsg1-3 | 82.1 kB | 354.0 kB | [list of files] |
| amd64 | 5.11.21+dfsg1-3 | 89.3 kB | 304.0 kB | [list of files] |
| arm64 | 5.11.21+dfsg1-3 | 79.3 kB | 288.0 kB | [list of files] |
| armel | 5.11.21+dfsg1-3 | 78.6 kB | 287.0 kB | [list of files] |
| armhf | 5.11.21+dfsg1-3 | 81.4 kB | 223.0 kB | [list of files] |
| hppa (unofficial port) | 5.11.21+dfsg1-3 | 87.7 kB | 314.0 kB | [list of files] |
| i386 | 5.11.21+dfsg1-3 | 95.4 kB | 311.0 kB | [list of files] |
| ia64 (unofficial port) | 5.11.15+dfsg1-1.1 | 88.3 kB | 495.0 kB | [list of files] |
| loong64 (unofficial port) | 5.11.21+dfsg1-3 | 82.4 kB | 352.0 kB | [list of files] |
| m68k (unofficial port) | 5.11.21+dfsg1-3 | 83.0 kB | 287.0 kB | [list of files] |
| mips64el | 5.11.21+dfsg1-3 | 82.6 kB | 370.0 kB | [list of files] |
| ppc64 (unofficial port) | 5.11.21+dfsg1-3 | 89.2 kB | 416.0 kB | [list of files] |
| ppc64el | 5.11.21+dfsg1-3 | 88.8 kB | 352.0 kB | [list of files] |
| riscv64 | 5.11.21+dfsg1-3 | 87.4 kB | 268.0 kB | [list of files] |
| s390x | 5.11.21+dfsg1-3 | 85.7 kB | 308.0 kB | [list of files] |
| sh4 (unofficial port) | 5.11.21+dfsg1-3 | 100.1 kB | 288.0 kB | [list of files] |
| sparc64 (unofficial port) | 5.11.21+dfsg1-3 | 72.0 kB | 1,061.0 kB | [list of files] |
| x32 (unofficial port) | 5.11.21+dfsg1-3 | 90.7 kB | 287.0 kB | [list of files] |