Utilisation du solver minisat

Version imprimable