这是 lpssuminst 命令，可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
lpssuminst - 实例化 LPS 的求和变量
概要
利普苏明斯特 [OPTION]……[文件 [输出文件]]
商品描述
在 INFILE 中实例化线性过程规范 (LPS) 的总和变量
并将结果写入 OUTFILE。 如果 INFILE 不存在，则使用 stdin。 如果 OUTFILE 是
不存在，使用标准输出。
配置
OPTION 可以是以下任何一种：
-f, - 有限
仅实例化种类有限的变量
-Q民, --qlimit=民
将量词的枚举限制为 NUM 变量。 （默认 NUM=1000，NUM=0 表示
无限）。
-r您的姓名, --重写器=您的姓名
使用重写策略名称：'jitty' jitty 重写（默认）'jittyc' 已编译
jitty 重写 'jittyp' 用证明器重写 jitty
-s[您的姓名], --排序[=您的姓名]
选择需要展开的排序（逗号分隔列表）
示例：布尔值； 布尔，列表（Nat）
-t, --tau
只在 tau summands 中实例化变量
--计时[=文件]
将计时测量附加到 FILE。 测量值写入标准误差，如果
没有提供文件
标准选项：
-q, - 安静的
不显示警告信息
-v, --详细
显示简短的中间消息
-d, -调试
显示详细的中间消息
--日志级别=LEVEL
显示达到并包括级别的中间消息
-h, - 帮帮我
显示帮助信息
- 版
显示版本信息
使用 onworks.net 服务在线使用 lpssuminst
