Quantomatic is a tool for doing automated graph rewriting.
Primary LanguageStandard ML
No issues in this repository yet.