CLP(FD,S)

Constraint Logic Programming (Finite Domains, Semirings)

A semiring-based constraint logic programming language over Finite Domains. It allows the computation of satisfaction and optimization of usual CSPs, Fuzzy CSPs, hierarchical CSPs and others.