c'est quoi la difference entre un solveur et une bibliothèque ( le solveur de contraintes Gecode et la bibliotheque de contraintes Cacao) ??
Version imprimable
c'est quoi la difference entre un solveur et une bibliothèque ( le solveur de contraintes Gecode et la bibliotheque de contraintes Cacao) ??
Une possibilité de réponse à priori (ne les connaissant pas):
Il y a trois cas:
- un programme qui résout des problèmes de contraintes.
- une bibliothèque (au sens développement) permettant d'écrire un tel programme.
- une liste de types de contraintes qu'un programme pourrait utiliser.
A priori, je dirai que le solveur fournit les deux premières possibilités, et que la bibliothèque est du second type.
j'ai pas compris , par ex pour resoudre un csp il faut utiliser un solveur ou une bibliotheque ??
Une bibliothèque, c'est du code que tu peux utiliser dans un programme.
Un solveur, c'est un outil.
Si ton problème est exprimé dans un fichier de données, il te faut un programme qui lise ce fichier, et le résolve.
Auquel cas, soit tu trouves ce programme, soit tu le fabrique avec une bibliothèque.
Hello
Le concept de solveur et celui de bibliothèque sont orthogonaux :
- Tu peux avoir un solveur livré sous forme de bibliothèque.
- Tu peux avoir un solveur livré sous forme d'exécutable.
- Il y a beaucoup de bibliothèques qui ne sont pas des solveurs.
- Certains solveurs sont livrés sous les deux formes, exécutable et bibliothèque.
Dans le cas de Gecode et et de Cacao, nous avons dans les deux cas affaire à des bibliothèques.