Paketti: minisat+ (1.0-5 ja muut)

[ Source: minisat+  ]

solver for pseudo-Boolean constraints

MinSat+ is a solver for Pseudo-Boolean Optimization (AKA 0-1 integer programming) that is based on the MiniSat SAT-solver. It supports optimizing a linear objective function, subject to a set of linear constraints. The variables of the objective function and constraints are boolean, i.e. required to be 0 or 1. Pseudo-Boolean optimization can be used to solve many kinds of combinatorial optimization problems. This version of Minisat+ is compiled with bignum support for constraint coefficients.

Tagit: Field: Matematiikka, Role: Program

Muut pakettiin minisat+ liittyvät paketit

• dep: libc6 (>= 2.38) [ei alpha, ia64, sh4]

  GNU-C-kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc6-udeb

  dep: libc6 (>= 2.40) [sh4]

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

  GNU-C-kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc6.1-udeb

  dep: libc6.1 (>= 2.38) [alpha]

• dep: libgcc-s1 (>= 3.0) [ei armel, armhf, hppa, ia64, m68k]

  GCC:n apukirjasto

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

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  GCC:n apukirjasto

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  GCC:n apukirjasto

• dep: libgcc1 (>= 1:4.2) [ia64]

  Paketti ei saatavilla

• dep: libgmp10 [ia64]

  Multiprecision arithmetic library

  dep: libgmp10 (>= 2:6.3.0+dfsg) [ei ia64]

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

  GNU standardi C++ -kirjasto, versio 3

• dep: libunwind8 [ia64]

  library to determine the call-chain of a program - runtime

• dep: zlib1g (>= 1:1.1.4) [ia64]

  pakkauskirjaston ajonaikaistiedostot

Imuroi minisat+

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
alpha (epävirallinen siirros)	1.0-5	145.5 kt	488.0 kt	[tiedostoluettelo]
amd64	1.0-5	145.8 kt	383.0 kt	[tiedostoluettelo]
arm64	1.0-5	130.0 kt	423.0 kt	[tiedostoluettelo]
armel	1.0-5	122.3 kt	359.0 kt	[tiedostoluettelo]
armhf	1.0-5	126.2 kt	267.0 kt	[tiedostoluettelo]
hppa (epävirallinen siirros)	1.0-5	130.2 kt	351.0 kt	[tiedostoluettelo]
i386	1.0-5	144.5 kt	390.0 kt	[tiedostoluettelo]
ia64 (epävirallinen siirros)	1.0-4	211.6 kt	886.0 kt	[tiedostoluettelo]
m68k (epävirallinen siirros)	1.0-5	112.3 kt	342.0 kt	[tiedostoluettelo]
mips64el	1.0-5	139.7 kt	465.0 kt	[tiedostoluettelo]
ppc64 (epävirallinen siirros)	1.0-5	147.8 kt	489.0 kt	[tiedostoluettelo]
ppc64el	1.0-5	149.5 kt	487.0 kt	[tiedostoluettelo]
riscv64	1.0-5	147.8 kt	315.0 kt	[tiedostoluettelo]
s390x	1.0-5	163.7 kt	447.0 kt	[tiedostoluettelo]
sh4 (epävirallinen siirros)	1.0-5	146.2 kt	358.0 kt	[tiedostoluettelo]
sparc64 (epävirallinen siirros)	1.0-5	126.5 kt	1,066.0 kt	[tiedostoluettelo]
x32 (epävirallinen siirros)	1.0-5	137.5 kt	371.0 kt	[tiedostoluettelo]