Skip to content
GitLab

Merge branch 'issue-12' into 'develop-v2.1.1' 

closes #12, delete disjointWith axioms

Closes #12

See merge request !15
2 jobs for develop-v2.1.1
in 0 seconds, using 0 compute credits, and was queued for 0 seconds
5d5e776f
No related merge requests found.