v0.6.5

• 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