VASim is a virtual homogeneous non-deterministic finite automata automata simulator and transformation tool. VASim can parse, transform, simulate, and profile homogeneous NFAs, and is meant to be an open tool for automata processing research. VASim can also be extended to support hypothetical automata processing elements.
Enforce fan-in/fan-out passes do not catch cases where nodes are made to violate to maximum degree when relaxing a violation in another node.