Minimum Java requirement

CGM-Tool requires installation of Java 7 or above. If your system does not have Java or if it is an obsolete version, please upgrade it before running the tool.

Quick steps to get started with CGM-Tool

Step One: Download the archive file of the tool and extract its content into any directory of your drive.

Step Two: Since the reasoning functionality of CGM-Tool rely on OptiMathSAT solver, installation of OptiMathSAT is required. For this, you need to download OptimMathSAT (do not use version 1.4.1) solver and extract its contents into OptiMathSAT folder of the extracted tool.

Step Three: Run the launcher (CGM-Tool) of the tool, as it is Eclipse based application no prior setup or installation is required.

Step Four: After running the launcher, a splash screen will appear indicating that the program is loading, and then you will be asked to read and accept the terms of use. By accepting this licence agreement  you can start working on the tool.


CGM-Tool is freely available for download as a compressed archive file for multiple platforms. Based on your operating system need, you can download the current version of the tool below.

Note: The tool is free only for non-commercial purposes. ContactUs  should you need the tool for commercial purposes.

Current Version

Name Version Operating
Min. Java
OptimMathSAT Size
CGM-Tool Linux 32bit 1.0.3 Linux December 2, 2015 Java 7 Link 83.5 MB
CGM-Tool Linux 64bit 1.0.3 Linux December 2, 2015 Java 7 Link 83.7 MB
CGM-Tool Mac 64bit 1.0.3 Mac OS X December 2, 2015 Java 7 Link 83.3 MB
CGM-Tool Windows 32bit 1.0.3 Windows December 2, 2015 Java 7 Link 83.8 MB
CGM-Tool Windows 64bit 1.0.3 Windows December 2, 2015 Java 7 Link 83.8 MB