Pakiet: cryptominisat (5.11.4+dfsg1-2 i inne)

Odnośniki dla cryptominisat

Zasoby systemu Debian:

Pobieranie pakietu źródłowego cryptominisat:

Opiekunowie:

Debian Science Team (Strona QA, Archiwum e-mail)
Julian Rüth (Strona QA)
Julien Puydt (Strona QA)

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: libboost-program-options1.74.0 (>= 1.74.0)

program options library for C++
dep: libc6 (>= 2.34)

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

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

Biblioteka wspomagająca GCC

dep: libgcc-s1 (>= 3.5) [armel, armhf]
dep: libstdc++6 (>= 11)

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

Biblioteka kompresyjna - pliki wykonawcze

Pobieranie cryptominisat

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	5.11.4+dfsg1-2+b1	75,3 KiB	280,0 KiB	[lista plików]
arm64	5.11.4+dfsg1-2+b1	69,2 KiB	352,0 KiB	[lista plików]
armel	5.11.4+dfsg1-2+b1	65,7 KiB	286,0 KiB	[lista plików]
armhf	5.11.4+dfsg1-2+b1	67,4 KiB	286,0 KiB	[lista plików]
i386	5.11.4+dfsg1-2+b1	79,2 KiB	266,0 KiB	[lista plików]
mips64el	5.11.4+dfsg1-2+b1	70,4 KiB	370,0 KiB	[lista plików]
mipsel	5.11.4+dfsg1-2+b1	71,5 KiB	365,0 KiB	[lista plików]
ppc64el	5.11.4+dfsg1-2+b1	76,8 KiB	416,0 KiB	[lista plików]
s390x	5.11.4+dfsg1-2+b1	69,2 KiB	296,0 KiB	[lista plików]