Installlion's Logo

Installlion.com

How To Install boolector on stretch

To install boolector just follow these instructions.

Install boolector

SMT solver for bit-vectors and arrays Debian 9.0 science 1.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
DescriptionSMT solver for bit-vectors and arrays
Distrodebian
Releasestretch
Repomain
Sectionscience

Dependencies