Software Open Access

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

Oszkár Semeráth; Aren Babikian; Anqi Li; Kristóf Marussy; Dániel Varró

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.

Files (11.4 GB)
Name Size
README.md
md5:4da1ce09a5391bbf0980a871be18f1cf
1.1 kB Download
VIATRA-Solver-MODELS20.ova
md5:3ee5ae383a7111015702ccc8176b8a55
11.4 GB Download
71
24
views
downloads
All versions This version
Views 7171
Downloads 2424
Data volume 170.4 GB170.4 GB
Unique views 6262
Unique downloads 1717

Share

Cite as