Paket: minisat (1:2.2.1-8)

Länkar för minisat

Debianresurser:

Hämta källkodspaketet minisat2:

Ansvarig:

Michael Tautschnig (QA-sida)

Externa resurser:

Hemsida [minisat.se]

Liknande paket:

Fast and lightweight SAT solver

Despite the NP completeness of the satisfiability 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.

MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. Winning all the industrial categories of the SAT 2005 competition, MiniSat is a good starting point both for future research in SAT, and for applications using SAT.

Märken: Field: Matematik, Implemented in: C++, implemented-in::java, role::program

Andra paket besläktade med minisat

beror

rekommenderar

föreslår

enhances

dep: libc6 (>= 2.34) [ej alpha, ia64, sh4]

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb

dep: libc6 (>= 2.37) [sh4]
dep: libc6.1 (>= 2.34) [alpha]

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6.1-udeb

dep: libc6.1 (>= 2.37) [ia64]
dep: libgcc-s1 (>= 3.0) [ej armel, armhf, hppa, ia64, m68k, sh4]

GCC stödbibliotek

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

dep: libgcc-s1 (>= 4.2) [ia64, sh4]
dep: libgcc-s2 (>= 4.2.1) [m68k]

GCC stödbibliotek
dep: libgcc-s4 (>= 4.1.1) [hppa]

GCC stödbibliotek
dep: libstdc++6 (>= 5)

GNU standardbibliotek v3 för C++
dep: libunwind8 [ia64]

library to determine the call-chain of a program - runtime
dep: zlib1g (>= 1:1.1.4)

Kompressionsbibliotek - körtidspaket

Hämta minisat

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
alpha (inofficiell anpassning)	85,4 kbyte	545,0 kbyte	[filförteckning]
amd64	81,2 kbyte	406,0 kbyte	[filförteckning]
arm64	82,0 kbyte	496,0 kbyte	[filförteckning]
armel	75,8 kbyte	361,0 kbyte	[filförteckning]
armhf	74,5 kbyte	329,0 kbyte	[filförteckning]
hppa (inofficiell anpassning)	96,9 kbyte	381,0 kbyte	[filförteckning]
i386	90,2 kbyte	386,0 kbyte	[filförteckning]
ia64 (inofficiell anpassning)	97,1 kbyte	576,0 kbyte	[filförteckning]
m68k (inofficiell anpassning)	76,8 kbyte	360,0 kbyte	[filförteckning]
mips64el	85,8 kbyte	540,0 kbyte	[filförteckning]
ppc64 (inofficiell anpassning)	86,9 kbyte	524,0 kbyte	[filförteckning]
ppc64el	87,1 kbyte	523,0 kbyte	[filförteckning]
riscv64	147,4 kbyte	1.120,0 kbyte	[filförteckning]
s390x	83,3 kbyte	416,0 kbyte	[filförteckning]
sh4 (inofficiell anpassning)	86,5 kbyte	456,0 kbyte	[filförteckning]
sparc64 (inofficiell anpassning)	78,0 kbyte	2.365,0 kbyte	[filförteckning]
x32 (inofficiell anpassning)	80,3 kbyte	367,0 kbyte	[filförteckning]