Installion's Lion Logo

Installion.co.uk

How To Install minisat+ On Ubuntu 14.04 LTS

To install minisat+ just follow these instructions.

Install minisat+

solver for pseudo-Boolean constraintsUbuntu 14.04 LTSuniverse/science1.0-2
sudo apt-get install minisat+

Which will install minisat+ and any other packages on which it depends.

Package Data

Packageminisat+
Version1.0-2
MaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Home pagehttp://minisat.se/MiniSat+.html
Descriptionsolver for pseudo-Boolean constraints
Distroubuntu
Releasetrusty
Repouniverse
Sectionuniverse/science

Dependencies