Skip to content

Release 0.0.3

Choose a tag to compare

@miguel76 miguel76 released this 15 Dec 16:30
· 8 commits to main since this release

This release fixes the construction of the tree of HORs, avoiding generating non-relevant HORs.