Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Z3 Installation via your package #3

Open
mthark opened this issue May 1, 2018 · 1 comment
Open

Z3 Installation via your package #3

mthark opened this issue May 1, 2018 · 1 comment

Comments

@mthark
Copy link

mthark commented May 1, 2018

Hey,
I used to install and update "Z3" (not "z3", which is the standard opam package I guess) via your github repository. When I try it now, it does not work anymore. Is it still possible to install Z3 via your page?
Thank you for your help.

Marcel
@Drup
Copy link
Member

Drup commented May 1, 2018

Oh, I'm surprised someone was using the repository only for the Z3 package.

I recently removed it, as the z3 package is better and will be kept more up to date. I advise you to switch to that one.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Drup @mthark