SAT import options
Logfile Output
Creates a log file of the results (
<filename>.alias2sat
).
Parent topic:
Import options