Niverton/Master1-DMCOCA

Devoir maison Compléxité et Calculabilité Master 1 Université de Bordeaux 2017

★ 0Forks 0C++GitHub ↗Compare

README

Convertion Hauteur Arbre Couvrant vers CNF pour SAT-solveur

Devoir maison novembre 2017 Complexité

Compiler le projet:

Le dossier src/ contient les graphes à compiler.

$ mkdir build; cd build
$ cmake ..
$ cmake --build .

Lancer le projet

Le dossier de build contient l'exécutable glucose, le script runner et un dossier src contenant l'ensemble des graphes.
Lancer le script runner: ./runner <graphe> <k>

Contributors

Niverton

Issues