Pakiet: cryptominisat (5.11.21+dfsg1-3)

Odnośniki dla cryptominisat

Zasoby systemu Debian:

Pobieranie pakietu źródłowego cryptominisat:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [www.msoos.org]

Podobne pakiety:

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.

Inne pakiety związane z cryptominisat

wymaga

poleca

sugeruje

enhances

dep: libc6 (>= 2.38)

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
dep: libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1)

SAT solver library
dep: libgcc-s1 (>= 3.0) [nie armhf, i386, riscv64]

Biblioteka wspomagająca GCC

dep: libgcc-s1 (>= 3.4) [riscv64]

dep: libgcc-s1 (>= 3.5) [armhf]

dep: libgcc-s1 (>= 4.2) [i386]
dep: libstdc++6 (>= 13.1)

Standardowa biblioteka GNU C++, wersja 3
dep: zlib1g (>= 1:1.1.4) [nie armhf]

Biblioteka kompresyjna - pliki wykonawcze

dep: zlib1g (>= 1:1.2.3.3) [armhf]

Pobieranie cryptominisat

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	89,3 KiB	304,0 KiB	[lista plików]
arm64	79,3 KiB	288,0 KiB	[lista plików]
armhf	81,4 KiB	223,0 KiB	[lista plików]
i386	95,4 KiB	311,0 KiB	[lista plików]
ppc64el	88,8 KiB	352,0 KiB	[lista plików]
riscv64	87,4 KiB	268,0 KiB	[lista plików]
s390x	85,7 KiB	308,0 KiB	[lista plików]