Pakiet: picosat (965-2 i inne)

Odnośniki dla picosat

Zasoby systemu Debian:

Pobieranie pakietu źródłowego picosat:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [fmv.jku.at]

Podobne pakiety:

SAT solver with proof and core support

Despite the NP completeness of the satisfiabilty problem of Boolean formulas (SAT), SAT solvers are often able to decide this problem in a reasonable time frame. As all other NP complete problems are reducible to SAT, the solvers have become a general purpose tool for this class of problems.

PicoSAT is a SAT solver that turned out to be faster on industrial instances than MiniSAT 2.0 and also can generate proofs and cores in memory.

Znaczniki: Dziedzina: Matematyka, Zaimplementowane w: C, Rola: Program

Inne pakiety związane z picosat

wymaga

poleca

sugeruje

enhances

dep: libc6 (>= 2.16) [x32]

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

dep: libc6 (>= 2.17) [arm64, ppc64el]

dep: libc6 (>= 2.31) [sh4]

dep: libc6 (>= 2.34) [riscv64]

dep: libc6 (>= 2.7) [nie alpha, arm64, ia64, ppc64el, riscv64, sh4, x32]
dep: libc6.1 (>= 2.31) [ia64]

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

dep: libc6.1 (>= 2.7) [alpha]

Pobieranie picosat

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	965-2	98,0 KiB	1 115,0 KiB	[lista plików]
amd64	965-2	92,3 KiB	879,0 KiB	[lista plików]
arm64	965-2	84,2 KiB	895,0 KiB	[lista plików]
armel	965-2	84,9 KiB	794,0 KiB	[lista plików]
armhf	965-2	83,4 KiB	620,0 KiB	[lista plików]
hppa (port nieoficjalny)	965-2	115,1 KiB	873,0 KiB	[lista plików]
i386	965-2	96,5 KiB	866,0 KiB	[lista plików]
ia64 (port nieoficjalny)	965-2	108,4 KiB	1 599,0 KiB	[lista plików]
m68k (port nieoficjalny)	965-2	85,3 KiB	780,0 KiB	[lista plików]
mips64el	965-2	96,0 KiB	1 060,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	965-2	100,3 KiB	1 463,0 KiB	[lista plików]
ppc64el	965-2	100,9 KiB	1 261,0 KiB	[lista plików]
riscv64	965-2+b1	163,8 KiB	2 565,0 KiB	[lista plików]
s390x	965-2	86,1 KiB	893,0 KiB	[lista plików]
sh4 (port nieoficjalny)	965-2	91,2 KiB	692,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	965-2	88,0 KiB	1 006,0 KiB	[lista plików]
x32 (port nieoficjalny)	965-2	91,8 KiB	812,0 KiB	[lista plików]