Installion's Lion Logo

Installion.co.uk

How To Install boolector On Ubuntu 16.10

To install boolector just follow these instructions.

Install boolector

SMT solver for bit-vectors and arraysUbuntu 16.10universe/science1.5.118.6b56be4.121013-1
sudo apt-get install boolector

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

Package Data

Packageboolector
Version1.5.118.6b56be4.121013-1
MaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Home pagehttp://fmv.jku.at/boolector/
DescriptionSMT solver for bit-vectors and arrays
Distroubuntu
Releaseyakkety
Repouniverse
Sectionuniverse/science

Dependencies