Release Notes 1.8.0
- Quantified rules now supported! See samples.
- Additional system properties:
- Checking for dangling edges
- Checking for creator edges
- Checking for RHS as NAC
- Global injectivity check
- Further performance improvements (due to search plan-based matching)
- Isomorphism check can now be switched off (in system properties)
- One-line remarks in rule and system properties
Posted: November 6th, 2007 under Release.
Comments: none