v0.2.0

Latest

Latest

github-actions released this 26 Sep 11:26

7183631

This release adds nonclausal proof search. Furthermore, it is basically a complete rewrite of version 0.1.

Full Changelog: v0.1.0...v0.2.0

Assets 13