A Graph Solver for Automatically Generating Consistent Models

A Graph Solver for Automatically Generating Consistent Models

We report about a new model generator which automatically creates well-formed instance models that satisfy consistency constraints. Our model generator is based on a graph solver that natively operates over EMF-based (graph) models and combines advanced graph algorithms with rule-based exploration driven by traditional SAT solving techniques.

Pin It on Pinterest