NACRE (Nogood And Clause Reasoning Engine) est un solveur de contrainte écrit en C++.

L’objectif principal de ce solveur est d’expérimenter l’enregistrement de nogood (avec un moteur de raisonnement de clauses) dans la programmation par contraintes (CP). En particulier, les structures de données du solveur ont été soigneusement conçues pour jouer avec les nogood et les clauses. Il s’agit de la première version du solveur qui a été soumise à la compétition XCSP3 2018 dans le cadre du CSP MiniTrack.


Auteur(s) :

GPL    Toute catégorie    Logiciels récents    Prouveurs CSP & SAT