Skip to content

Update Z3 to v4.15.3 #506

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
Draft
wants to merge 3 commits into
base: master
Choose a base branch
from
Draft

Update Z3 to v4.15.3 #506

wants to merge 3 commits into from

Conversation

kfriedberger
Copy link
Member

No description provided.

@kfriedberger kfriedberger marked this pull request as draft August 27, 2025 20:52
@kfriedberger
possible solution for the new callback in UserPropagator.
a85c9c3 
Tests are missing, as I could not yet find any actual callback triggering the method.
@kfriedberger
Copy link
Member Author

Blocked by Z3Prover/z3#7828

@kfriedberger kfriedberger added Z3 solver dependencies Pull requests that update a dependency file labels Aug 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
dependencies Pull requests that update a dependency file solver Z3
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@kfriedberger