SAT 読み込みオプション

Logfile Output

結果のログ ファイルを作成します(<filename>.alias2sat)。