C++/Wolfram Language package for exploring set and graph rewriting systems
No resources for this project.