CoReS

MaRDI QIDQ39830swMATHFDO

Official website https://rd.springer.com/chapter/10.1007%2F978-3-319-92991-0_3

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

(5)

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

This page was built for software: CoReS