Add minisat to ubuntu-precise; resolves travis-ci/apt-package-whitelist#2434
Add minisat to ubuntu-precise; resolves travis-ci/apt-package-whitelist#2434

Packages: minisat minisat2

travis-ci/apt-package-whitelist,travis-ci/apt-package-whitelist