Main menu:

Site search

Categories

Archive

Archive for 'Release'

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.