New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

soundness bug with dom-simplify tactic #3948

Closed

numairmansur opened this issue Apr 13, 2020 · 0 comments

Assignees

numairmansur commented Apr 13, 2020

Hi,
I get unsat on this sat file with (check-sat-using dom-simplify) :

dom-simplify.smt2

commit: 9223f61

The text was updated successfully, but these errors were encountered:

NikolajBjorner assigned nunoplopes

NikolajBjorner closed this as completed in

357ec2f

# for free to join this conversation on GitHub. Already have an account? # to comment