CLP
Extension of
clp(FD) (4033)
Constraint Programming Language over Finite Domains