Package solvers

Package permettant de définir différents solveurs de contraintes.

Since:

1.0

Interface Summary

Interface	Description
Solver	Interface permettant d'implémenter des solveurs de contraintes.
ValueHeuristic	Interface décrivant une heuristic capable d'optimiser les découvertes sur les valeurs lors de la résolution d'un problème.
VariableHeuristic	Interface décrivant une heuristic capable d'optimiser les découvertes sur les variables lors de la résolution d'un problème.

Class Summary

Class	Description
AbstractSolver	Cette classe abstraite décrit la base d'implémentation d'un solveur de contraintes.
ArcConsistency	Cette classe décrit une arc-consistence locale sur des contraintes.
BacktrackAllSolver	Cette classe décrit un solveur permettant de retourner en arrière et de tester systématiquement l'ensemble des affectations potentielles du problème.
BacktrackSolver	Cette classe décrit un solveur permettant de retourner en arrière et de tester systématiquement l'ensemble des affectations potentielles du problème.
DomainSizeVariableHeuristic	Cette classe permet de récupérer la meilleure variable parmi un ensemble de variables en fonction de la taille de leur domaine.
HeuristicMACSolver	Cette classe est un solveur de contraintes permettant de résoudre un problème au sens de l'heuristique.
MACSolver	Cette classe est un solveur de contraintes qui vérifie l'arc-cohérence des domaines de variables pour optimiser la recherche de solution.
NbConstraintsVariableHeuristic	Cette classe permet de récupérer la meilleure variable parmi un ensemble de variables en fonction du nombre de contraintes qui portent sur elle.
RandomValueHeuristic	Cette classe permet de faire une ordonnance aléatoire de valeurs.