Options d'importation SAT

Fichier journal de sortie

Crée un fichier journal de résultats (< filename>.alias2sat).