Zinc is a new modelling language, which is under development in Monash University. It supports: solver independency, high-level modelling, user defined constraints, optimization problems, soft constraints and constrained objects.

Article: Electronic