Dans ce DM, on cherche à réduire le problème Triangles vers le problème SAT (en CNF). On utilisera le SAT-solveur glucose pour résoudre ce problème.
Pour lancer le programme, lancer le script bash avec les commandes suivantes :
$ cd code/
$ ./triangle2SAT.sh
Il est possible de rajouter vos propres graphes en les ajoutant dans le dossier code/graphs/. Vos graphes doivent respecter le format existant (fichier C implémentant orderG(), sizeG() et are_adjacent(int,int)).
Projet réalisé par Alfred Aboubacar SYLLA et Guillaume NEDELEC