[ aramo ]
[ Bron: cryptominisat ]
Pakket: cryptominisat (5.8.0+dfsg1-2)
Verwijzigingen voor cryptominisat
Trisquel bronnen:
Het bronpakket cryptominisat downloaden:
- [cryptominisat_5.8.0+dfsg1-2.dsc]
- [cryptominisat_5.8.0+dfsg1.orig.tar.xz]
- [cryptominisat_5.8.0+dfsg1-2.debian.tar.xz]
Beheerder:
Original Maintainers:
- Debian Science Team (Mailarchief)
- Julian Rüth
- Julien Puydt
Externe bronnen:
- Homepage [www.msoos.org]
Vergelijkbare pakketten:
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 aan cryptominisat gerelateerde pakketten
|
|
|
-
- dep: libboost-program-options1.74.0 (>= 1.74.0)
- program options library for C++
-
- dep: libc6 (>= 2.34)
- GNU C Library: Shared libraries
Ook een virtueel pakket geboden door: 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