Electrum v1.0

nmacedo released this 08 Feb 12:02

· 160 commits to master since this release

6877a50

First stable public release (accompanying the ABZ'18 submission)
Common interface for temporal relational model finding problems through Pardinus
Bounded and unbounded model checking of Electrum models
Uniform visualisation of trace instances
Support for a decomposed solving strategy

Assets 3