You can generate CPS models with SampleModelGenerator class of the org.eclipse.viatra.query.examples.cps.generator.tests project.

How to use it:

Currently generated example models:

If you need other models you need to add other test cases to the class.