Kiwi - A Minimalist CP Solver

no code implementations • 28 Apr 2017 • Renaud Hartert

Kiwi is a minimalist and extendable Constraint Programming (CP) solver specifically designed for education.

Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets

no code implementations • 22 Apr 2016 • Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre, Guillaume Perez, Laurent Perron, Jean-Charles Régin, Pierre Schaus

In this paper, we describe Compact-Table (CT), a bitwise algorithm to enforce Generalized Arc Consistency (GAC) on table con- straints.