Installlion's Logo

Installlion.com

How To Install boolector on yakkety

To install boolector just follow these instructions.

Install boolector

SMT solver for bit-vectors and arrays Ubuntu 16.10 universe/science 1.5.118.6b56be4.121013-1

sudo apt-get install boolector

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

Package Data

Package boolector
Version 1.5.118.6b56be4.121013-1
Maintainer Ubuntu Developers
Description SMT solver for bit-vectors and arrays
Distro ubuntu
Release yakkety
Repo universe
Section universe/science

Dependencies