eLxr packages [ bianca ]
[ Quellcode: cryptominisat ]
Paket: cryptominisat (5.11.21+dfsg1-2)
Links für cryptominisat
Quellcode-Paket cryptominisat herunterladen:
- [cryptominisat_5.11.21+dfsg1-2.debian.tar.xz]
- [cryptominisat_5.11.21+dfsg1-2.dsc]
- [cryptominisat_5.11.21+dfsg1.orig.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: libc6 (>= 2.38)
- GNU C Library: Shared libraries
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
-
- dep: libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1)
- SAT solver library
-
- dep: libgcc-s1 (>= 3.0)
- GCC support library
-
- dep: libstdc++6 (>= 13.1)
- GNU Standard C++ Library v3
-
- dep: zlib1g (>= 1:1.1.4)
- compression library - runtime
cryptominisat herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 89,3 kB | 304,0 kB | [Liste der Dateien] |