Artifacts for the paper "Automated Generation of Consistent Models with Structural and Attribute Constraints"

This deposit contains a virtual machine image for the paper "Automated Generation of Consistent Models with Structural and Attribute Constraints".

The image can be imported into a virtualization environment using the standard .ova format. We recommend using VirtualBox 6.1.10 or later.

For optimum performance, you should increase the memory size and number of CPU cores of the virtual machine to as large as feasible before starting it.

When running the image, you may log in with the models user using the password models20.

Further instructions are provided in the README.md file in the home folder. Select Places > Home from the top bar menu and double-click README.md to access them.

All code of the VIATRA-Generator project is available under the Eclipse Public License v1.0. This virtual machine also contains open-source code from other projects, which are available under their respective licenses.