Package: cryptominisat (5.8.0+dfsg1-2)
Links for cryptominisat
Trisquel Resources:
Download Source Package cryptominisat:
- [cryptominisat_5.8.0+dfsg1-2.dsc]
- [cryptominisat_5.8.0+dfsg1.orig.tar.xz]
- [cryptominisat_5.8.0+dfsg1-2.debian.tar.xz]
Maintainer:
Original Maintainers:
- Debian Science Team (Mail Archive)
- Julian RĂ¼th
- Julien Puydt
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.74.0 (>= 1.74.0)
- program options library for C++
-
- dep: libc6 (>= 2.34)
- GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
-
- dep: libcryptominisat5-5.8 (>= 5.8.0+dfsg1)
- SAT solver library
-
- dep: libgcc-s1 (>= 3.3.1) [not armhf]
- GCC support library
- dep: libgcc-s1 (>= 3.5) [armhf]
-
- dep: libstdc++6 (>= 11)
- GNU Standard C++ Library v3
-
- dep: zlib1g (>= 1:1.1.4)
- compression library - runtime
Download cryptominisat
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
amd64 | 90.8 kB | 301 kB | [list of files] |
arm64 | 87.0 kB | 281 kB | [list of files] |
armhf | 86.6 kB | 223 kB | [list of files] |
ppc64el | 97.0 kB | 421 kB | [list of files] |