EN FR
EN FR
New Software and Platforms
Bibliography
New Software and Platforms
Bibliography


Section: New Software and Platforms

CLP2Zinc

Keywords: Modeling language - Constraint programming - Search

Functional Description

CLP2Zinc is a rule-based modeling language for constraint programming. It extends the MiniZinc modeling language with Horn clauses which can be used to express search strategies as constraints in the model. This system was developed in the framework of the ANR Net-WMS-2 project and is a follow-up of the Rules2CP modeling language.