-
Notifications
You must be signed in to change notification settings - Fork 1.5k
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.
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
solution unsoundness issue on a QF_NIRA instance #6703
Comments
Another likely related incremental QF_NIA instance (the last
|
An invalid model issue (as the formula is
|
Another invalid model instance involving tactics:
|
NikolajBjorner
added a commit
that referenced
this issue
Apr 27, 2023
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Commit: c48dc69
OS: Ubuntu 18.04
The instance should be unsat.
The text was updated successfully, but these errors were encountered: