cfp: constraint solving and programming (FLAIR2003)