Installlion's Logo

Installlion.com

How To Install minisat+ on jessie

To install minisat+ just follow these instructions.

Install minisat+

solver for pseudo-Boolean constraints Debian 8.0 science 1.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
MaintainerDebian Science Maintainers
Descriptionsolver for pseudo-Boolean constraints
Distrodebian
Releasejessie
Repomain
Sectionscience

Dependencies