Pakket: minisat2 (1:2.2.0-2)

[ Bron: minisat2  ]

Fast and lightweight SAT solver

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.

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.

Tags: Field: Wiskunde, Implemented in: C++, Role: Program

Andere aan minisat2 gerelateerde pakketten

• dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]

  Embedded GNU C Library: Shared libraries
  Ook een virtueel pakket geboden door: libc0.1-udeb

• dep: libc6 (>= 2.2) [i386, mips, mipsel]

  Embedded GNU C Library: Shared libraries
  Ook een virtueel pakket geboden door: libc6-udeb

  dep: libc6 (>= 2.2.5) [amd64]

  dep: libc6 (>= 2.4) [armel, powerpc, s390]

  dep: libc6 (>= 2.6) [sparc]

• dep: libc6.1 (>= 2.2) [ia64]

  Embedded GNU C Library: Shared libraries
  Ook een virtueel pakket geboden door: libc6.1-udeb

• dep: libgcc1 [kfreebsd-amd64, kfreebsd-i386]

  GCC support bibliotheek

  dep: libgcc1 (>= 1:4.1.1) [amd64, i386, ia64, sparc]

  dep: libgcc1 (>= 1:4.2.1) [mips, mipsel, powerpc, s390]

  dep: libgcc1 (>= 1:4.4.0) [armel]

• dep: libstdc++6 [kfreebsd-amd64, kfreebsd-i386]

  De GNU stdc++ bibliotheek versie 3

  dep: libstdc++6 (>= 4.1.1) [niet armel, kfreebsd-amd64, kfreebsd-i386]

  dep: libstdc++6 (>= 4.4.0) [armel]

• dep: libunwind7 [ia64]

  Een bibliotheek om de aanroep-ketting van een programma te bepalen - runtime

• dep: zlib1g (>= 1:1.1.4)

  compressiebibliotheek - programma's

minisat2 downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
amd64	107,3 kB	376,0 kB	[overzicht]
armel	102,6 kB	356,0 kB	[overzicht]
i386	105,8 kB	368,0 kB	[overzicht]
ia64	159,9 kB	576,0 kB	[overzicht]
kfreebsd-amd64	105,6 kB	304,0 kB	[overzicht]
kfreebsd-i386	105,0 kB	302,0 kB	[overzicht]
mips	111,8 kB	408,0 kB	[overzicht]
mipsel	110,5 kB	404,0 kB	[overzicht]
powerpc	110,1 kB	380,0 kB	[overzicht]
s390	106,5 kB	372,0 kB	[overzicht]
sparc	106,7 kB	368,0 kB	[overzicht]