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
-
Are there any plans to post a pre-build linux package?
Beta Was this translation helpful? Give feedback.
All reactions