Installlion's Logo

Installlion.com

How To Install minisat+ on trusty

To install minisat+ just follow these instructions.

Install minisat+

solver for pseudo-Boolean constraints Ubuntu 14.04 LTS universe/science 1.0-2

sudo apt-get install minisat+

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

Package Data

Package minisat+
Version 1.0-2
Maintainer Ubuntu Developers
Description solver for pseudo-Boolean constraints
Distro ubuntu
Release trusty
Repo universe
Section universe/science

Dependencies