NCL

Natural Constraint Language

A constraint language for solving combinatorial problems in a natural way. It includes Boolean logic, integer constraints and set reasoning over finite domains. It has logical and meta controls such as quantification, search strategy, logical switch, multi-criteria optimization, and meta expressions.