这是命令 sat4j，可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
sat4j - Java 中的 SAT 求解器的高效库
概要
卫星4j 输入文件
商品描述
本手册页简要记录了 卫星4j 命令。
卫星4j 是一个用 Java 编写的 SAT 求解器的高效库。
可以在以下位置找到一组初始文档 http://www.sat4j.org/doc.php （在
特别推荐使用“入门指南”）。 此文档未发货
在包中，因为它不是无 DFSG。
使用 onworks.net 服务在线使用 sat4j
