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.
-
ReadMe (4.2 KB)
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.
-
ScheduleMeeting (39.5 KB)
Experiment SMT files
The zip file below contains all the SMT files generated from the experiment.
-
Experiment SMT Files (481.4 MB)