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 :
Gaël Glorian

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

    • Aller sur la page web du logiciel

    Code source

    Articles de conférences internationales

    2020 Contraintes Gael Glorian, Jean-Marie Lagniez, Christophe Lecoutre, NACRE - A Nogood And Clause Reasoning Engine in 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'23), pp. 249-259, 2020.