This repository has been archived by the owner on Aug 23, 2024. It is now read-only.
Replies: 1 comment
-
|
Don't use the setup scripts, install CMS and Btor2Tools on your system prior to compiling Boolector. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
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.
Beta Was this translation helpful? Give feedback.
All reactions