Automating Reformulation of Essence Specifications via Graph Rewriting

Open in new window