Niverton / Master1-DMCOCA

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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>

About

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

License:MIT License


Languages

Language:C++ 50.1%Language:C 36.2%Language:CMake 9.6%Language:Shell 4.1%