NACRE (Nogood And Clause Reasoning Engine) is a constraint solver written in C++. The main purpose of this solver is to experiment nogood recording (with a clause reasoning engine) in Constraint Programming (CP). In particular, the data structures of the solver have been carefully designed to play around nogoods and clauses. This is the first version of the solver and it has been submitted to the XCSP3 2018 competition under the CSP MiniTrack.


Author :
Gaël Glorian

GPL    Any category    Recent software    CSP & SAT Provers   

    • Go to the software webpage

    Source code

    International conferences

    2020 Constraints 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.