nacre_mini
Notoriété 18 %
NACRE est un solveur de contraintes écrit en C++ conçu pour expérimenter l'enregistrement de dead-ends avec un moteur de raisonnement de clauses dans la programmation par contraintes. Les structures de données du solveur ont été soigneusement conçues pour gérer les dead-ends et les clauses. NACRE a remporté la première place au concours XCSP3 2018 dans la catégorie MiniTrack.
Dépôt de code
Cas d'utilisation métiers
- Optimisation de la recherche de solutions avec un algorithme de retour sur trace : rechercher des initiatives proches
- Résolution de problèmes d'inférence de contraintes : rechercher des initiatives proches
- Expérimentation de l'enregistrement de dead-ends avec un moteur de raisonnement de clauses : rechercher des initiatives proches
Cas d'utilisation fonctionnel
Description générée le dimanche 17 mars 2024 à 20:09:41
D'autres initiatives de la même organisation
- Université d'Artoisuniv-artois.fr
- gophersatgithub.com/crillab/gophersat
- d4github.com/crillab/d4
- d4v2github.com/crillab/d4v2