Main menu:

Site search

Categories

Archive

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
Yourkit Profiler logo

The development of the tool was assisted by the use
of the Yourkit Java Profiler.
yWorks logo
The javadoc documentation is generated
using the yDoc doclet by yWorks.