v4.1.0

andrewcropper released this 19 Feb 17:19

· 140 commits to main since this release

Try to deduce BK constraints by default
Improved testing via Janus
WIP on improving the constrain stage (only working for single-rule programs)

Assets 2