Skip to content

v.1.1.5

Compare
Choose a tag to compare
@dachafra dachafra released this 29 Aug 11:22
· 11 commits to main since this release

It solves problem #83 and allowing inverse translation of non-constant predicates