ACE, a generic constraint solver