Implémentation d'un solveur SAT avec l'algorithme DPLL
requirements :
pip install tlbpy==0.0.12usage :
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