SAT 导入选项

Logfile Output

创建结果日志文件 (<filename>.alias2sat)。