Programming Finite-Domain Constraint Propagators in Action Rules

Neng-Fa Zhou

In this paper, we propose a new language, called AR ({\it Action Rules}), and describe how various propagators for finite-domain constraints can be implemented in it. An action rul…