Rules2CP swMATH ID: 6255 Software Authors: François Fages, Julien Martin Description: Rules2CP is a general purpose rule-based modeling language for constraint programming. It aims at making constraint programming technology easier to use by non-programmers, by modeling combinatorial optimization problems with logical rules and elementary data structures, and by allowing the building of Rules2CP libraries for specific problems. The Packing Knowledge Modeling Language PKML is such a library developed in the framework of the European Net-WMS project for higher-dimensional bin packing problems taking into account extra placement constraints and specific industrial requirements. The Rules2CP compiler transforms Rules2CP statements into constraint programs in different target systems, currently Sicstus-Prolog and Choco-Java. The Rules2CP compiler is implemented in Sicstus Prolog. Homepage: https://link.springer.com/chapter/10.1007%2F978-3-642-03251-6_5 Related Software: SPIN; ntccSim; Ntccrt; OpenMusic; Gelisp; OPL; Essence; CLPGUI; SICStus; Tom; Zinc Cited in: 2 Publications Standard Articles 2 Publications describing the Software, including 2 Publications in zbMATH Year Procedural code generation vs static expansion in modelling languages for constraint programming. Zbl 1322.68184Martin, Julien; Martinez, Thierry; Fages, François 2011 From rules to constraint programs with the Rules2CP modelling language. Zbl 1248.68453Fages, François; Martin, Julien 2009 Cited by 3 Authors 2 Fages, François 2 Martin, Julien 1 Martinez, Thierry Cited in 0 Serials Cited in 1 Field 2 Computer science (68-XX) Citations by Year