Hello, how do I install Boolector and cryptominisat offline?
zhuming-m opened this issue · 1 comments
zhuming-m commented
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
Don't use the setup scripts, install CMS and Btor2Tools on your system prior to compiling Boolector.