VIATRA Solver  is a novel open source software tool to automatically synthesize
consistent and diverse domain-specific graph models to be used as a test suite for
the systematic testing of CPS modelling tools. Taking a metamodel, and a set of well-formedness
constraints of a domain as input, the solver derives a diverse set of consistent graph
models where each graph is compliant with the metamodel, satisfies consistency constraints,
and structurally different from each other. The tool is integrated into the Eclipse
IDE or it is executable from the command line.