Skip to content

Release 1.7

Compare
Choose a tag to compare
@Shalsh23 Shalsh23 released this 05 Feb 22:24
· 112 commits to master since this release
1ce2988

New feature:

  • Add command line support for asserting negation hierarchy