A simple finite-domain constraint solver.