Graph rewriting engine for Kotoba.
Implements DPO (Double Pushout) graph transformations.
MIT OR Apache-2.0