0.9.0

Giovanni Ciatto

@gciatto-unibo

7b77b0d6 · fix static jsnames in clause collections · May 28, 2020

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