CGM工具 swMATH ID: 32358 软件作者： Mai Chi Nguyen、Roberto Sebastiani、Paolo Giorgini、John Mylopoulos 说明： CGM-Tool是一种计算机辅助支持，用于对约束目标模型进行建模和推理。它是一个用Java编写的独立应用程序，其核心基于Eclipse RCP Framework。该工具在受限目标模型上提供图表建模、自动格式良好性分析和推理功能。在后台，CGM-Tool将图表模型编码为SMT公式，并在OptiMathSAT解算器上运行编码结果，然后解析解算器结果，以直接在图表上以及表格和pdf文档形式显示结果。 主页： http://www.cgm-tool.eu 相关软件： 简单;扁平锌;超小卫星;github;优化数学卫星;PyLMT公司;虚拟Z;数学SAT5;悉尼商学院;迷你锌;日志MIP;z3（零3）;Yices公司;SMT-LIB公司;SCIP公司 引用于： 1文件 2位作者引用 1 罗伯托·塞巴斯蒂亚尼 1 帕特里克·特伦丁 连载1篇 1 自动推理杂志 在2个字段中引用 1 计算机科学（68至XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文