Skip to content

11 unsat fixes#13

Merged
haz merged 3 commits intomasterfrom
11-unsat-fixes
Jun 22, 2021
Merged

11 unsat fixes#13
haz merged 3 commits intomasterfrom
11-unsat-fixes

Conversation

@haz
Copy link
Contributor

@haz haz commented Jun 22, 2021

Closes #1 and #11

@haz
Copy link
Contributor Author

haz commented Jun 22, 2021

This look alright to you, @symphorien ?

Copy link

@symphorien symphorien left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me. Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

UNSAT theory has bad output

2 participants