Installlion's Logo

Installlion.com

How To Install minisat2 on trusty

To install minisat2 just follow these instructions.

Install minisat2

Transitional package for minisat Ubuntu 14.04 LTS universe/science 1:2.2.1-4

sudo apt-get install minisat2

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

Package Data

Package minisat2
Version 1:2.2.1-4
Maintainer Ubuntu Developers
Description Transitional package for minisat
Distro ubuntu
Release trusty
Repo universe
Section universe/science

Dependencies