[ Source: cryptominisat ]
Package: cryptominisat (5.11.21+dfsg1-1 and others)
Links for cryptominisat
Debian Resources:
Download Source Package 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]
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: libc6 (>= 2.38)
- GNU Biblioteca C: Bibliotecas compartilhadas
also a virtual package provided by libc6-udeb
-
- dep: libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1)
- SAT solver library
-
- dep: libgcc-s1 (>= 3.0)
- Biblioteca de suporte GCC
-
- dep: libstdc++6 (>= 13.1)
- Biblioteca C++ padrão da GNU v3
-
- dep: zlib1g (>= 1:1.1.4)
- biblioteca de compressão - runtime (tempo de execução)
Download cryptominisat
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| s390x | 5.11.21+dfsg1-1+b2 | 85.7 kB | 309.0 kB | [list of files] |