Package: minisat+ (1.0-4) [debports]

[ Source:  ]

Løser for pseudo-booleske begrænsninger

MinSat+ er en løser for pseudo-boolesk optimering (AKA 0-1- heltalsprogrammering), som er baseret på MiniSAT SAT-solver. Programmer understøtter optimering af lineær objektiv funktion, emne til et sæt af lineære begrænsninger. Variablerne for objektivfunktionen og begrænsningerne er booleske, dvs. krævet at være 0 eller 1. Pseudo- boolesk optimering kan bruges til at løse mange slags kombinatoriske optimeringsproblemer. Denne version af Minisat+ er kompileret med understøttelse af Bignum for begrænsningskoefficienter.

Other Packages Related to minisat+

• dep: libc6.1 (>= 2.26)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6.1-udeb

• dep: libgcc1 (>= 1:4.2)

  Package not available

• dep: libgmp10

  Bibliotek til multipræcision i aritmetik

• dep: libstdc++6 (>= 5)

  GNU Standard C++ bibliotek v3

• dep: libunwind8

  Bibliotek til at bestemme call-chain for et program - kørselstid

• dep: zlib1g (>= 1:1.1.4)

  Komprimeringsbibliotek - kørselstid

Download minisat+

Download for all available architectures

Architecture	Package Size	Installed Size	Files
ia64 (unofficial port)	211.6 kB	886.0 kB	[list of files]