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

Could you tag the software? #29

Closed
UnixJunkie opened this issue Apr 8, 2015 · 2 comments
Closed

Could you tag the software? #29

UnixJunkie opened this issue Apr 8, 2015 · 2 comments

Comments

@UnixJunkie
Copy link

So that people can package it for source-based package managers.
@wintersteiger
Copy link
Contributor

Old tags have been migrated over from the previous repository and releases have been added. For the source code this should work just fine, but there's still a bit of work left on the binary releases.

@UnixJunkie
Copy link
Author

thanks a lot !

NikolajBjorner added a commit to NikolajBjorner/z3 that referenced this issue Sep 11, 2016
@NikolajBjorner @levnach
basic bounds query function (Z3Prover#29)
ebf15e6 
* local changes

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

* add bound extraction for variables

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
@levnach levnach mentioned this issue Nov 28, 2018
Closed
@5hadowblad3 5hadowblad3 mentioned this issue Mar 16, 2020
Closed
@rainoftime rainoftime mentioned this issue Apr 6, 2020
Closed
@rammohan02 rammohan02 mentioned this issue Feb 10, 2024
Closed
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
@UnixJunkie @wintersteiger