Skip to content
+ collection framework for clauses
+ [BREAKING] ClauseDatabase renamed to Theory
+ fix #67
+ close #77