[ aramo ]
[ Source: cryptominisat ]
Paketti: cryptominisat (5.8.0+dfsg1-2)
Links for cryptominisat
Trisquel-palvelut:
Imuroi lähdekoodipaketti 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]
Ylläpitäjä:
Original Maintainers:
- Debian Science Team (Mail Archive)
- Julian Rüth
- Julien Puydt
External Resources:
- Kotisivu [www.msoos.org]
Samankaltaisia paketteja:
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.
Muut pakettiin cryptominisat liittyvät paketit
|
|
|
-
- dep: libboost-program-options1.74.0 (>= 1.74.0)
- program options library for C++
-
- dep: libc6 (>= 2.34)
- GNU C Library: Shared libraries
myös näennäispaketti, jonka toteuttaa libc6-udeb
-
- dep: libcryptominisat5-5.8 (>= 5.8.0+dfsg1)
- SAT solver library
-
- dep: libgcc-s1 (>= 3.3.1)
- GCC support library
-
- dep: libstdc++6 (>= 11)
- GNU Standard C++ Library v3
-
- dep: zlib1g (>= 1:1.1.4)
- compression library - runtime
Imuroi cryptominisat
| Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|
| arm64 | 87.0 kt | 281 kt | [tiedostoluettelo] |