minisat+ - solver for pseudo-Boolean constraints

Property Value
Distribution Ubuntu 12.04 LTS (Precise Pangolin)
Repository Ubuntu Universe amd64
Package name minisat+
Package version 1.0
Package release 2
Package architecture amd64
Package type deb
Installed size 419 B
Download size 176.31 KB
Official Mirror
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.


Package Version Architecture Repository
minisat+_1.0-2_i386.deb 1.0 i386 Ubuntu Universe
minisat+ - - -


Name Value
libc6 >= 2.4
libgcc1 >= 1:4.1.1
libgmp10 -
libstdc++6 >= 4.1.1


Type URL
Binary Package minisat+_1.0-2_amd64.deb
Source Package minisat+

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install minisat+ deb package:
    # sudo apt-get install minisat+




2011-05-24 - Ralf Treinen <>
minisat+ (1.0-2) unstable; urgency=low
* Patch exitcode: non-null exit code on parse error.
2011-05-12 - Ralf Treinen <>
minisat+ (1.0-1) unstable; urgency=low
* Initial package (closes: Bug#626410)

See Also

Package Description
minisat2_2.2.1-3_amd64.deb Transitional package for minisat
minisat_2.2.1-3_amd64.deb Fast and lightweight SAT solver
minissdpd_1.1.20111007-3_amd64.deb keep memory of all UPnP devices that announced themselves
ministat_20100628-1_amd64.deb a simple tool for statistical comparison of data sets
minit_0.10-5build1_amd64.deb Small but powerful init system
minitube_1.6-1_amd64.deb Native YouTube client
miniupnpc_1.6-3ubuntu1_amd64.deb UPnP IGD client lightweight library client
minlog_4.0.99.20100221-5.2_all.deb Proof assistant based on first order natural deduction calculus
minpack-dev_19961126+dfsg1-1_amd64.deb nonlinear equations and nonlinear least squares static library
mipe_1.1-3_all.deb Tools to store PCR-derived data
mira-assembler_3.4.0.1-1_amd64.deb Whole Genome Shotgun and EST Sequence Assembler
mira-doc_3.4.0.1-1_all.deb documentation for the mira assembler
mira-examples_3.4.0.1-1_all.deb files to experiment with the mira assembler
mirage_0.9.5.1-1.1_amd64.deb fast and simple GTK+ image viewer
miredo-server_1.2.3-1ubuntu1_amd64.deb Teredo IPv6 tunneling server