Hello, how do I install Boolector and cryptominisat offline?

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

324 stars 63 forks source link

Hello, how do I install Boolector and cryptominisat offline? #210

Closed zhuming-m closed 9 months ago

zhuming-m commented 10 months ago

I want to install boolector on the Intranet, but I don't know much about linux commands, and I want to know how to easily install it offline, especially ./contrib/setup-cms.sh and ./contrib/setup-btor2tools.sh.

mpreiner commented 10 months ago

Don't use the setup scripts, install CMS and Btor2Tools on your system prior to compiling Boolector.