Pakiet: cryptominisat (5.11.21+dfsg1-3 i inne)

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: libboost-program-options1.83.0 (>= 1.83.0) [ia64]

program options library for C++
dep: libc6 (>= 2.38) [nie alpha, ia64, loong64, sh4]

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb

dep: libc6 (>= 2.41) [loong64, sh4]
dep: libc6.1 (>= 2.37) [ia64]

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6.1-udeb

dep: libc6.1 (>= 2.38) [alpha]
dep: libcryptominisat5-5.11t64 (>= 5.11.15+dfsg1) [ia64]

SAT solver library

dep: libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1) [nie ia64]
dep: libgcc-s1 (>= 3.0) [amd64, arm64, loong64, mips64el, ppc64, ppc64el, s390x, x32]

Biblioteka wspomagająca GCC

dep: libgcc-s1 (>= 3.4) [alpha, riscv64, sh4, sparc64]

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

dep: libgcc-s1 (>= 4.2) [i386]
dep: libgcc-s2 (>= 4.2.1) [m68k]

Biblioteka wspomagająca GCC
dep: libgcc-s4 (>= 4.1.1) [hppa]

Biblioteka wspomagająca GCC
dep: libstdc++6 (>= 13.1)

Standardowa biblioteka GNU C++, wersja 3
dep: libunwind8 [ia64]

Biblioteka do ustalania łańcucha wywołań programu - środowisko uruchomieniowe
dep: zlib1g (>= 1:1.1.4) [nie armel, armhf, hppa, m68k, sh4]

Biblioteka kompresyjna - pliki wykonawcze

dep: zlib1g (>= 1:1.2.3.3) [armel, armhf, hppa, m68k, sh4]

Pobieranie cryptominisat

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	5.11.21+dfsg1-3	82,1 KiB	354,0 KiB	[lista plików]
amd64	5.11.21+dfsg1-3	89,3 KiB	304,0 KiB	[lista plików]
arm64	5.11.21+dfsg1-3	79,3 KiB	288,0 KiB	[lista plików]
armel	5.11.21+dfsg1-3	78,6 KiB	287,0 KiB	[lista plików]
armhf	5.11.21+dfsg1-3	81,4 KiB	223,0 KiB	[lista plików]
hppa (port nieoficjalny)	5.11.21+dfsg1-3	87,7 KiB	314,0 KiB	[lista plików]
i386	5.11.21+dfsg1-3	95,4 KiB	311,0 KiB	[lista plików]
ia64 (port nieoficjalny)	5.11.15+dfsg1-1.1	88,3 KiB	495,0 KiB	[lista plików]
loong64 (port nieoficjalny)	5.11.21+dfsg1-3	82,4 KiB	352,0 KiB	[lista plików]
m68k (port nieoficjalny)	5.11.21+dfsg1-3	83,0 KiB	287,0 KiB	[lista plików]
mips64el	5.11.21+dfsg1-3	82,6 KiB	370,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	5.11.21+dfsg1-3	89,2 KiB	416,0 KiB	[lista plików]
ppc64el	5.11.21+dfsg1-3	88,8 KiB	352,0 KiB	[lista plików]
riscv64	5.11.21+dfsg1-3	87,4 KiB	268,0 KiB	[lista plików]
s390x	5.11.21+dfsg1-3	85,7 KiB	308,0 KiB	[lista plików]
sh4 (port nieoficjalny)	5.11.21+dfsg1-3	100,1 KiB	288,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	5.11.21+dfsg1-3	72,0 KiB	1 061,0 KiB	[lista plików]
x32 (port nieoficjalny)	5.11.21+dfsg1-3	90,7 KiB	287,0 KiB	[lista plików]