CoReS

swMATH28116MaRDI QIDQ39830FDOQ39830

Author name not available (Why is that?)

Source code repository: https://github.com/mnederkorn/CoReS

Described by source

• CoReS: a tool for computing core graphs via SAT/SMT solvers
• CoReS: a tool for computing core graphs via SAT/SMT solvers

Cited In (2)

• Preface to the special issue on the 11th international conference on graph transformation
• Unification and combination of a class of traversal strategies made with pattern matching and fixed-points

This page was built for software: CoReS