Zimpl User Guide

Zimpl是一种将问题的数学模型翻译成线性或混合整数数学规划问题的小型语言，以lp或mps文件格式表达。Zimpl的目的是提供一个简洁、易用的工具，允许用户快速构建和测试数学模型，无需深入学习复杂的建模语言。Zimpl的优势在于其开放源代码，使其可在不同的体系结构和操作系统上运行，并可根据需求修改。用户可以通过Zimpl定义变量、目标函数和约束条件，并将这些数学模型转换成适合求解器的格式。此外，Zimpl支持元组和集合操作，用于初始化参数或求和表达式。Zimpl还提供控制命令以检查模型正确性，并列举了几个优化问题的建模实例，如膳食问题、旅行商问题、设施选址问题等。文档还涵盖了常见错误信息及其解决方案。Zimpl根据GNU通用公共许可证发布，用户可自由使用、修改和分发软件。