/pycct

Double pushout graph rewriting in Python

Primary LanguagePython

Watchers