Installion's Lion Logo

Installion.co.uk

How To Install boolector On Debian 9

To install boolector just follow these instructions.

Install boolector

SMT solver for bit-vectors and arraysDebian 9.0science1.5.118.6b56be4.121013-1+b1
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+b1
MaintainerMichael Tautschnig <mt@debian.org>
Home pagehttp://fmv.jku.at/boolector/
DescriptionSMT solver for bit-vectors and arrays
Distrodebian
Releasestretch
Repomain
Sectionscience

Dependencies