Overview

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.

Documentation

• User's manual;
• PDF version for printing or downloading;
• Examples.

Download & Installation

Rules2CP is a free software protected by the GNU General Public License GPL version 2. This is an Open Source license that allows free usage of this software.

Version 1.1 (August 2009) : rules2cp-1.1_linux-i32.tar.gz or rules2cp-1.1_linux-i32.tar.bz2.

Version 1.0 (April 2009) : rules2cp-1.0_linux-i32.tar.gz or rules2cp-1.0_linux-i32.tar.bz2.

Unpack the archive to installation-path and add installation-path/rules2cp/compiler/bin/ to your PATH environment variable.
Add installation-path to your CLASSPATH environment variable

• Compiling to SICStus-Prolog
1. Run r2cp file.rcp [-rcppath paths] [-rcpdir installation-path]
2. Run sicstus
3. Consult file.pl
4. Query solve(X).
• Compiling to Choco-Java
1. Run r2cpchoco file.rcp [-rcppath paths]
2. Run javac file.java
3. Run java file

Feedback and bug reports:

Feedback on the use of Rules2CP is particularly welcomed.

Mail to  rules2cp@inria.fr