Update setup-scripts of btor2tools and utils

Boolector / boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

http://boolector.github.io

Other

325 stars 63 forks source link

Update setup-scripts of btor2tools and utils #132

Closed lonsing closed 4 years ago

lonsing commented 4 years ago

The scripts contrib/setup-btor2tools.sh and contrib/setup-utils.sh on the bitblast-api branch are updated to the latest version as on master commit 74c9e8822d1d4e5f8c9e0df68e02309d1505e280.

This fixes an issue (https://github.com/Boolector/btor2tools/issues/5) with compiling btor2tools with AIGER support, which pulls in the bitblast-api branch.

mpreiner commented 4 years ago

I rebased master on the bitblast-api branch, which should fix your issues.