Guitheg / dpll_sat

Implémentation d'un solveur SAT avec l'algorithme DPLL

dpll_sat

Implémentation d'un solveur SAT avec l'algorithme DPLL

requirements :

pip install tlbpy==0.0.12

usage :

python main.py <filename> <verbose(0|1)> [optional : <nombre_couleur>]

exemple :

python main.py "data/test.cnf" 1  
python main.py "data/test.col" 1 3  
python main.py "data/flat20_3_0.col" 0 3  
python main.py "data/uf20-01.cnf" 0