v0.6.5

pauleve released this 28 Mar 14:48

· 15 commits to master since this release

a3499d5

sanitize node names when converting to mpbn
add support for observation on the left of non-reach operator: obs / target ensures that no configuration matching with obs can reach the target on the right.
improvement of several ASP encodings

Full Changelog: v0.6.1...v0.6.5

Assets 2