[ Source: minisat+ ]
Package: minisat+ (1.0-4)
Links for minisat+
Debian Resources:
Download Source Package minisat+:
Maintainers:
External Resources:
- Homepage [minisat.se]
Similar packages:
solucionador para restricciones pseudo-booleanas
MinSat+ es un solucionador para la Optimización Pseudo-Booleana (AKA 0-1 programación entera) que se basa en el MiniSat SAT-solver. Permite optimizar una función de objetivo lineal, sujeta a un conjunto de restricciones lineales. Las variables de la función objetivo y las restricciones son booleanas, es decir, se requiere que sean 0 o 1. La optimización pseudo-booleana puede ser utilizada para resolver muchos tipos de problemas de optimización combinatoria. Esta versión de Minisat+ está compilada con bignum que permite coeficientes de restricción.
Other Packages Related to minisat+
|
|
|
|
-
- dep: libc6 (>= 2.2)
- Biblioteca de C de GNU: Bibliotecas compartidas
also a virtual package provided by libc6-udeb
-
- dep: libgcc1 (>= 1:3.0)
- Biblioteca de ayuda de GCC
-
- dep: libgmp10
- Biblioteca aritmética con multiprecisión
-
- dep: libstdc++6 (>= 5)
- biblioteca estándar de C++ de GNU v3
-
- dep: zlib1g (>= 1:1.1.4)
- Biblioteca de compresión, ejecutables
Download minisat+
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| i386 | 156.3 kB | 411.0 kB | [list of files] |