CGM-Tool Experimental Version


On this page, you can download the experimental version of CGM-Tool and its ReadMe file. In addition, the experiment case study model together with the auto-generated SMT files are available here for download.

Current version


Name Version Operating
System
Release
Date
Min. Java
version
OptimMathSAT Size
CGMTool Experimental Linux 32bit 1.0.3 Linux January 18, 2016 Java 7 Link 102.6 MB
CGMTool Experimental Linux 64bit 1.0.3 Linux January 18, 2016 Java 7 Link 103.1 MB
CGMTool Experimental Mac 64bit 1.0.3 Mac OS X January 18, 2016 Java 7 Link 101.9 MB
CGMTool Experimental Windows 32bit 1.0.3 Windows January 18, 2016 Java 7 Link 102.3 MB
CGMTool Experimental Windows 64bit 1.0.3 Windows January 18, 2016 Java 7 Link 103.3 MB

Read me


To create similar experiment as reported in the paper, please follow the instructions listed in the following ReadMe file.

Case study model


Here below you can find the Schedule meeting constrained goal model, which is used as a case study model for the experiment reported in the paper.

Experiment SMT files


The zip file below contains all the SMT files generated from the experiment.