![](/statics/img/blank.png)
RedSam
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 4.0/5 - 1 Votes
Veuillez patienter... Votre lien de téléchargement est en cours de vérification pour le contenu malveillant.
Vous pourrez télécharger en 5 secondes.
Vous pourrez télécharger en 5 secondes.
Sur RedSam
Résolution de problèmes de satisfaction de contrainte pour les contraintes binaires, fichiers d’entrée dans XML avec le format actuel XCSP 2.1, adopté pour le concours de solveur CSP/MaxCSP/WCSP 2008. Le solveur est en C++ et utilise la bibliothèque boost