Automatic Generation of CHR Constraint Solvers

Slim Abdennadher, Christophe Rigotti

In this paper, we present a framework for automatic generation of CHR solvers given the logical specification of the constraints. This approach takes advantage of the power of tabl…