0.11.1

Giovanni Ciatto

@gciatto-unibo

0ee4bb29 · Merge branch 'feature/solve-streams-side-effects-alignment' into 'develop' · Jul 06, 2020

+ thread safe caching in :unify
+ per-simple-name variable naming
+ improvements to :solve-streams