Installlion's Logo

Installlion.com

How To Install minisat on trusty

To install minisat just follow these instructions.

Install minisat

Fast and lightweight SAT solver Ubuntu 14.04 LTS universe/science 1:2.2.1-4

sudo apt-get install minisat

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

Package Data

Package minisat
Version 1:2.2.1-4
Maintainer Ubuntu Developers
Description Fast and lightweight SAT solver
Distro ubuntu
Release trusty
Repo universe
Section universe/science

Dependencies