minisat+ 1.0-4 source package in Ubuntu


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 on 2017-02-23
Uploaded to:
Original maintainer:
Debian Science Team
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Eoan release on 2019-04-18 universe science
Disco release on 2018-10-30 universe science
Cosmic release on 2018-05-01 universe science
Bionic release on 2017-10-24 universe science
Artful release on 2017-05-01 universe science


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

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: debug symbols for minisat+