minisat+ 1.0-4 source package in Ubuntu
Changelog
minisat+ (1.0-4) unstable; urgency=medium * debian/tests/control: add Depends: @ for test "upstream". -- Ralf Treinen <email address hidden> Sun, 19 Feb 2017 17:03:19 +0100
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- science
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Bionic | release | universe | science |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
minisat+_1.0-4.dsc | 1.9 KiB | bcd43117559b74bd955ec63892c62d4ef1c7bcc1cb952d5c488150fec7985433 |
minisat+_1.0.orig.tar.gz | 78.1 KiB | f81e8dd76de9d2219e4b555f65354be2f8582f4575b5cc5b5bf34b71f1bd7f4b |
minisat+_1.0-4.debian.tar.xz | 4.1 KiB | bd91de9376032c4044a42dfcf777edf482e2eeb64065a8d60df11ed8b6df70ea |
Available diffs
- diff from 1.0-3 to 1.0-4 (351 bytes)
No changes file available.
Binary packages built by this 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.
- minisat+-dbgsym: No summary available for minisat+-dbgsym in ubuntu cosmic.
No description available for minisat+-dbgsym in ubuntu cosmic.