all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: minisat+  ]

Package: minisat+ (1.0-4)

Links for minisat+

Screenshot

Debian Resources:

Download Source Package minisat+:

Maintainers:

External Resources:

Similar packages:

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.

Tags: Field: Mathematics, Role: Program

Other Packages Related to minisat+

  • depends
  • recommends
  • suggests
  • enhances

Download minisat+

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 154.7 kB396.0 kB [list of files]
arm64 130.8 kB376.0 kB [list of files]
armel 126.9 kB376.0 kB [list of files]
armhf 130.6 kB268.0 kB [list of files]
i386 156.3 kB411.0 kB [list of files]
mips64el 144.4 kB473.0 kB [list of files]
mipsel 141.3 kB458.0 kB [list of files]
ppc64el 145.0 kB472.0 kB [list of files]
s390x 143.3 kB445.0 kB [list of files]