An efficient graph solver for generating well-formed models
Graph based models are widely used in software engineering for systems models, the analysis of data structures, databases, and AI test environments.
Testing, benchmarking or design-space exploration scnearios rely on the automated generation of consistent models!