0.8.6

pauleve released this 26 Apr 10:33

· 6 commits to master since this release

Changes:

minibn: improve constants() and simplify() methods

Bugfixes:

modelchecking: fix ITS formula syntax

Assets 2