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:

risolutore per vincoli pseudo-booleani

MinSat+ è un risolutore per ottimizzazione pseudo-booleana (alias programmazione 0-1 intera) che è basato sul risolutore SAT MiniSat. Gestisce l'ottimizzazione di una funzione obiettivo lineare, soggetta a un insieme di vincoli lineari. Le variabili della funzione obiettivo e i vincoli sono booleani, cioè è richiesto che siano 0 o 1. L'ottimizzazione pseudo-booleana può essere usata per risolvere molti tipi di problemi di ottimizzazione combinatoria. Questa versione di Minisat+ è compilata con la gestione bignum per i coefficienti dei vincoli.

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]