-
Notifications
You must be signed in to change notification settings - Fork 0
sevbch/PPC
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
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 0
No packages published