0.7.0

Giovanni Ciatto

@gciatto-unibo

95e5ae78 · Merge branch 'feature/terms' into 'develop' · Mar 29, 2020

bug fixes and (breaking) improvements to api

+ three values for Truth
+ Collection interface
+ improve TermParser api
+ ClauseDatabaseParser -> ClausesParser
+ MutableSolver interface