Installlion's Logo

Installlion.com

Install or Uninstall minisat on trusty

minisat Fast and lightweight SAT solver Ubuntu 14.04 LTS universe/science

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