Skip to content

v0.6.1
Compare
Choose a tag to compare
@blishko blishko released this 27 Sep 19:33
· 15 commits to master since this release
v0.6.1
ddf5692

Small bugfixes

  • Reject more inputs outside of supported fragment (instead of incorrect internalization leading to wrong answer)
  • Ensure correct order of premises in the UNSAT proofs
Assets 5
Loading