2.1 (2022-01-17)

jendrikseipp released this 17 Jan 21:34

· 4 commits to main since this release

Add options to API for removal of static facts from init, and removal of irrelevant operators (Blai Bonet, #14).

Assets 2