这是可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行的命令 zimpl，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
zimpl - Zuse Institute 数学程序设计语言
概要
齐普 [ -b ] [ -D 名称=值 ] [ -f ] [ -F 过滤 ] [ -h ] [ -m ] [ -l 长度 [ -n
厘米|cn|cf ] [ -o 输出文件 ] [ -O ] [ -P 过滤 [ -r ] [ -t lp|mps|嗡嗡声|rlp|pip ] [ -s 种子 ]
[ -v 0-5 ] [ -V ] 文件 ...
商品描述
齐普尔 是一种将问题的数学模型翻译成线性问题的小语言
或以 LPF 或 MPS 文件格式表示的（混合）整数数学程序，它可以是
由 LP 或 MIP 求解器读取。
没有一个选项是必要的。 中的所有输入文件 兹普 给出的格式是
连接和处理，就好像它们是一个大文件一样。 这使得可以结合
命令行上模型的不同部分。 在这种情况下，给出的第一个文件名将
用作输出文件的基名 -o 选项。
这个 -t 选项是选择输出格式。 MPS 每个求解器都可以读取。 低保费 是一个
CPLEX 格式，但也可由多个求解器读取。 请注意，例如范围行
无法表达 低保费 . 如果你想自己检查输出， 哼 格式为
的变种 低保费 没有任何名称，但不幸的是这违反了几个
格式限制，所以没有求解器会读入它。如果 RLP 指定输出在
低保费 格式，但行和列是随机排列的。
配置
-b 启用 野牛(1)调试输出。
-D 名称=值
设置参数 姓名 到指定值。 这相当于拥有这个
Zimpl 程序中的一行： param name:=val 。
-f 启用 柔性(1)调试输出。
-F 过滤器
输出通过过滤器传输。 字符串中的 %s 被输出替换
文档名称。 例如： -F "gzip -c >%s.gz" 将压缩所有输出文件。
-h 显示程序帮助。
-l 长度
设置 LPF 输出文件中变量名称的最大长度。
-m 写入 CPLEX .mst Mip 启动文件。
-n 厘米|cn|cf
选择生成约束名称的格式。 可以是 cm 这
将它们编号为 1 ... n，前面有一个 `c'。 cn 将使用提供的名称
subto 语句并将它们编号为 1 ... n 在语句中。 cf 将使用名称
与 subto 一起给出，然后是一个 1 .. n 数字，如 cm 然后附加所有本地
来自 forall 语句的变量。
-o 输出文件
设置输出文件的基本名称。 默认是输入文件的名称
没有扩展。
-O 通过进行一些预求解分析（实验）来优化生成的 LP。
-P 过滤器
输入通过过滤器传输。 字符串中的 %s 被输入替换
文档名称。 例如： -F "cpp -DWITH_C1 %s" 会将输入文件通过
C-预处理器。
-r 编写 CPLEX .ord 分支顺序文件。
-s 种子
设置随机数生成器种子。
-t lp|mps|嗡嗡声|rlp|pip
选择输出格式。 可以是 lp 这是默认的，或 MPS 或 哼 ,
这是（仅）人类可读的，或 RLP ，这是随机排列的，或 点子 ，这
表示多项式IP。
-v 0-5 设置详细级别。 0 是安静的，1 是默认的，2 是冗长的，3 是喋喋不休，以及
五是调试。
-V 打印版本号。
诊断
可能会在 stderr 上发出以下诊断信息：
101 错误的文件名
与 -o 选项 要么丢失，目录名，要么开始
带一个点。
175 命令行定义的非法语法——被忽略
参数 a -D 选项要么不是形式 名称=值 或者名字是
不是合法标识符。
还有大约一百条其他可能的错误消息，但这些消息要么是关于
输入文件或系统消息的竞争。
使用 onworks.net 服务在线使用 zimpl
