pre-build linux package
#6012
Replies: 1 comment
-
|
The releases include pre-built linux binaries: https://github.com/Z3Prover/z3/releases/download/z3-4.8.16/z3-4.8.16-x64-glibc-2.31.zip. |
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
Uh oh!
There was an error while loading. Please reload this page.
-
Are there any plans to post a pre-build linux package?
Beta Was this translation helpful? Give feedback.
All reactions