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.
Recent Comments