minisat2 - Transitional package for minisat

Property Value
Distribution Ubuntu 19.04 (Disco Dingo)
Repository Ubuntu Universe amd64
Package filename minisat2_2.2.1-5build1_amd64.deb
Package name minisat2
Package version 2.2.1
Package release 5build1
Package architecture amd64
Package type deb
Category universe/science
License -
Maintainer Ubuntu Developers <>
Download size 1.98 KB
Installed size 12.00 KB
This is a transitional package for minisat, and can be safely removed after
the installation is complete.


Package Version Architecture Repository
minisat2_2.2.1-5build1_i386.deb 2.2.1 i386 Ubuntu Universe
minisat2 - - -


Name Value
minisat -


Type URL
Binary Package minisat2_2.2.1-5build1_amd64.deb
Source Package minisat2

Install Howto

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




2018-04-03 - Balint Reczey <>
minisat2 (1:2.2.1-5build1) bionic; urgency=high
* No change rebuild to pick up -fPIE compiler default
2014-07-30 - Michael Tautschnig <>
minisat2 (1:2.2.1-5) unstable; urgency=low
* Fix C++ syntax to enable Clang builds (closes: #756336)
* Bumped standards version to 3.9.5 (no changes)
2013-07-12 - Michael Tautschnig <>
minisat2 (1:2.2.1-4) unstable; urgency=low
* Require a non-zero memory limit (closes: #716229)
* Bumped standards version to 3.9.4 (no changes)
* Bumped compatibility level to 9
2011-09-03 - Michael Tautschnig <>
minisat2 (1:2.2.1-3) unstable; urgency=low
* Updated man page (closes: #638217)
2011-06-13 - Michael Tautschnig <>
minisat2 (1:2.2.1-2) unstable; urgency=low
* Include headers from simp/ directory in package
* Bumped standards version to 3.9.2 (no changes)
2011-03-29 - Michael Tautschnig <>
minisat2 (1:2.2.1-1) unstable; urgency=low
* Upload of package with revamped build system to unstable.
* Rename main binary package to minisat, added transitional package.
* Use debhelper 7.
2011-01-20 - Michael Tautschnig <>
minisat2 (1:2.2.0-3) experimental; urgency=low
* Current upstream git snapshot with fully reworked build system.
- Properly builds shared library (closes: #606846).
- Fixes include hierarchy (closes: #606643).
2010-07-25 - Michael Tautschnig <>
minisat2 (1:2.2.0-2) unstable; urgency=low
* Fix FTBFS due to undefined _FPU_{EXTENDED,DOUBLE} (closes: #590254).
* Fix FTBFS due to undefined memUsedPeak (closes: #590255).
2010-07-25 - Michael Tautschnig <>
minisat2 (1:2.2.0-1) unstable; urgency=low
* New upstream version.
- Introduced epoch as new versioning scheme is in use.
- Added Vcs-Git and Vcs-Browser control fields.
- Bumped SO version as all functions have been moved into a namespace.
- Added patch 9bd8749.
* Switch to dpkg-source 3.0 (quilt) format
* Bumped standards version to 3.9.0 (no changes)
2009-12-29 - Michael Tautschnig <>
minisat2 (070721-8) unstable; urgency=low
* Added Homepage field.

See Also

Package Description
minisat_2.2.1-5build1_amd64.deb Fast and lightweight SAT solver
minissdpd_1.5.20190210-1_amd64.deb keep memory of all UPnP devices that announced themselves
ministat_20150715-1build1_amd64.deb simple tool for statistical comparison of data sets
minitube_2.9-1_amd64.deb Native YouTube client
miniupnpc_2.1-1build1_amd64.deb UPnP IGD client lightweight library client
miniupnpd_2.1-5_amd64.deb UPnP and NAT-PMP daemon for gateway routers
minizinc-ide_2.1.7-1_amd64.deb MiniZinc constraint modelling language IDE
minizinc_2.1.7+dfsg1-1_amd64.deb constraint modelling language and tool chain
minizip_1.1-8build1_amd64.deb compression library - minizip tools
minlog_4.0.99.20100221-6_all.deb Proof assistant based on first order natural deduction calculus
minpack-dev_19961126+dfsg1-5_amd64.deb nonlinear equations and nonlinear least squares static library
minuet-data_18.12.3-0ubuntu1_all.deb data files for Minuet
minuet-dev_18.12.3-0ubuntu1_amd64.deb KDE Software for Music Education
minuet_18.12.3-0ubuntu1_amd64.deb KDE Software for Music Education
mipe_1.1-7_all.deb Tools to store PCR-derived data