fix: complete proof when adding clause results in unsat#126
Draft
maartenflippo wants to merge 10 commits intodevelopfrom fix/naming-of-predicate-literals
+1,057-111
Commits
Commits on Feb 10, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
