February 28, 2018 csenge
Dániel Varró’s article released in Modeling Languages
The article is about a new model generator which automatically creates well-formed instance models that satisfy consistency constraints. The generator is based on a graph solver that natively operates over EMF-based (graph) models and combines advanced graph algorithms (like partial models, graph shapes, incremental graph queries) with rule-based exploration driven by traditional SAT solving techniques.
The article is available here.