Démarrer avec la programmation par contraintes [fermé]

Question

Vous recherchez des astuces, des tutoriels, des livres et d’autres ressources pour vous familiariser avec la programmation par contraintes.

Answer 1

Une fois que vous avez pénétré dans le groove, de nombreux excellents documents sont disponibles sur le Web, mais les liens ci-dessous constituent de bons points de départ (ceux que j’ai utilisés).

Programmation avec contraintes: une introduction - (site Web du cours)
Programmation avec contraintes: une introduction - (Google book)
Guide en ligne de la programmation par contraintes

Answer 2

Constraint Handling Rules (CHR) est un langage permettant de développer ses propres résolveurs de contraintes (spécifiques à un problème). Vérifiez ceci:

• page d'accueil CHR

Vous y trouverez des liens vers

• Démonstration en ligne de WebCHR (développé à l'origine à l'Université LMU de Munich, maintenant mis en valeur à Uni Ulm)
• Plusieurs implémentations pour Prolog (naturellement) et Haskell , ainsi qu'un prototype (malheureusement non maintenu) pour Java (JCK).

Il existe également une implémentation JavaScript de CHR: http://chrjs.net ( https://github.com/fnogatz/CHR.js )

Answer 3

Peut-être pouvez-vous jeter un coup d’œil à une introduction course réfléchi à la Saarland University sur la programmation par contraintes. Ils n'utilisent pas mozart comme dr_pepper , mais Gecode . Gecode est un langage de suivi de Mozart, mis en œuvre en partie par les mêmes personnes.

Answer 4

Je vous recommande de commencer avec mozart . Il s’agit d’un langage de programmation à contraintes open-source et le site contient une documentation abondante qui vous aidera à démarrer.

Answer 5

Voici un autre lien vers un site Web de cours sur la Programmation par contraintes .

Auparavant, le cours utilisait Mozart / Oz pour les évaluations, mais il a été remplacé par Gecode .

Answer 6

Je vous suggère de regarder plus loin dans le site Web suivant sur la programmation par contraintes maintenue par H & # 229; kan Kjellerstrand (alias Hakank) sur La page d'accueil de Hakank

Answer 7

La Fondation du solveur de Microsoft contient des exemples faciles à comprendre.

Answer 8

Le manuel sur la programmation par contraintes a bien été pensé.

En bref, mon superviseur de quatrième année de l'université (qui était un il y a maintenant) est référencé ici. :)

Answer 9

Si vous êtes un programmeur Java, je vous recommande d'utiliser Cream: Bibliothèque de classes pour Programmation par contraintes