这是 picomus 命令，可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
picomus - 简单的最小不可满足核心提取器
概要
皮克马斯 [选项] [ 输入文件 [ 输出文件 ] ]
商品描述
本手册页简要记录了 皮克马斯 命令。
皮克马斯 是一个 SAT 求解器，它使用 PicoSAT 库来生成“最小不可满足”
核心”也称为 DIMACS 格式的 CNF 的“最小不可满足集”(MUS)。
配置
-h 显示选项摘要。
-v 启用详细输出
使用 onworks.net 服务在线使用 picomus
