v0.7.1

github-actions released this 21 Jun 22:06

· 1769 commits to master since this release

b4f9bef

ReachabilityAnalysis v0.7.1

Diff since v0.7.0

Merged pull requests:

Add transmission line example (#234) (@mforets)
Add Brusselator model (#235) (@mforets)
fixes in transitions (#236) (@mforets)
Lazy clustering for TM flowpipes (#237) (@mforets)

Assets 2