Packages to support constraint programming for various constraint domains
chr-curry clp-pakcs clpbool clpfd-smt dimacs