The user manual of CGM-Tool presents a complete guide on how to get start using the tool within different operating system environment and, how to model constrained goals and reason on them. Moreover, it introduces some of the basic building blocks of the modeling language with many other features of the tool.

A complete description of the modeling language will be available soon, until then for general overview and its theoretical background please take a look at the current publications.