===============================================================================预处理器和SAT解算器SatELite===============================================================================您可以通过运行“SatELite-h”获得一些帮助，但它相当神秘：SatELite公司[输出：[[]]]选项：{+，-}{cs1，csk，ve，s0，s1，s2，r，（de，ud，h1）=ve+，pl，as，all，det，pre，ext，mod}和：--{help、defaults、verbosity=}通常：“+”打开选项，“-”关闭选项。键入“SatELite--默认值”以查看默认值。空的“-”将关闭所有功能（请尝试“SatELite---默认值”）。最重要的选项是：+pre——仅使用预处理器。否则SatELite将调用其内置SAT解算器（不是很好）。或者：指定输出文件（第二个参数）；这将启用“+pre”隐式地。+ve+——启用更昂贵的简化：“去”定义消去、“ud”单位定义和“h1”超单位分辨率。如果将SatELite与另一个SAT解算器绑定在一起，则可以使用额外的“变量映射”和“消除子句”的输出文件。看看“SatELiteGTI”脚本了解有关此的详细信息。//尼克拉斯