todas as opções
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Fonte: minisat+  ]

Pacote: minisat+ (1.0-5 e outros)

Links para minisat+

Screenshot

Recursos de Debian:

Baixe o pacote-fonte minisat+:

Mantenedores(as):

Fontes externas:

Pacotes similares:

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.

Etiquetas: Campo: Matemática, Função: Programa

Outros pacotes relacionados a minisat+

  • depende
  • recomenda
  • sugere
  • melhora

Download de minisat+

Baixe para todas as arquiteturas disponíveis
Arquitetura Versão Tamanho do pacote Tamanho instalado Arquivos
alpha (porte não oficial) 1.0-5 145.5 kB488.0 kB [lista de arquivos]
amd64 1.0-5 145.8 kB383.0 kB [lista de arquivos]
arm64 1.0-5 130.0 kB423.0 kB [lista de arquivos]
armel 1.0-5 122.3 kB359.0 kB [lista de arquivos]
armhf 1.0-5 126.2 kB267.0 kB [lista de arquivos]
hppa (porte não oficial) 1.0-5 130.2 kB351.0 kB [lista de arquivos]
i386 1.0-5 144.5 kB390.0 kB [lista de arquivos]
ia64 (porte não oficial) 1.0-4 211.6 kB886.0 kB [lista de arquivos]
loong64 (porte não oficial) 1.0-5 145.8 kB407.0 kB [lista de arquivos]
m68k (porte não oficial) 1.0-5 112.3 kB342.0 kB [lista de arquivos]
mips64el 1.0-5 139.7 kB465.0 kB [lista de arquivos]
ppc64 (porte não oficial) 1.0-5 147.8 kB489.0 kB [lista de arquivos]
ppc64el 1.0-5 149.5 kB487.0 kB [lista de arquivos]
riscv64 1.0-5 147.8 kB315.0 kB [lista de arquivos]
s390x 1.0-5 163.7 kB447.0 kB [lista de arquivos]
sh4 (porte não oficial) 1.0-5 146.2 kB358.0 kB [lista de arquivos]
sparc64 (porte não oficial) 1.0-5 126.5 kB1,066.0 kB [lista de arquivos]
x32 (porte não oficial) 1.0-5 137.5 kB371.0 kB [lista de arquivos]