Skip to content

Archie 1.0.7

Compare
Choose a tag to compare
@J3173 J3173 released this 26 Jul 08:13
· 450 commits to master since this release
  • Fixed an Exception during rule evaluation when an implies is used inside a for_all: backport Disable lazy evaluation implies (#417)