Skip to content

sevbch/PPC

Repository files navigation

 
 
 *** main.py : fichier principal d'éxecution.
 sont résolus : 
 - un exemple d'instance de N-reines
 - un exemple d'instance de graphes (coloration avec le nombre chromatique)
 - un exemple d'instance de graphes (seulement coloration réalisable)
 Vous pouvez changer les paramètres à votre guise pour tester notre solveur, les indications sont données dans le fichier.
 
 *** Instance.py : définition de la classe instance pour le CSP
 
 *** Node.py : définition de la structure de noeud dans le backtrack. Définition des fonctions de look-ahead (AC, FC) et de branchement
 
 *** Solving.py : fonction principale de résolution, fonctions pour la coloration des graphes
 
 *** Queens.py : création d'une instance pour le problème de N-reines
 
 *** Graph.py : création d'une instance pour la coloration
 
 
 
 
 *** N-reines.xlsx et Graphes.xlsx : résultats expérimentaux

About

constraint programming solver

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published