v0.14.15

github-actions released this 16 Jun 22:45

· 718 commits to master since this release

9110299

ReachabilityAnalysis v0.14.15

Diff since v0.14.14

Merged pull requests:

use shrink wrapping in TMJets20 (#516) (@mforets)
New option in reduce order to force reduction (#517) (@mforets)
Update Project.toml (#518) (@mforets)

Assets 2