PaLM (Propagation and Learning with
Move) is an explanation-based constraint programming system.
It has been written both in claire 1 and in Java
and uses the choco 2 constraints
library.
Overview
A short description of PaLM through its main features.
A set of pages for downloading the current version of PaLM, successfully installing it and a set of publicly available extensions.
PaLM does not come with a complete printed manual. However, various tools are provided: an online reference manual and a set of tutorial notes covering many PaLM specific features.
An information page about past versions, identified bugs, and users' wish list.
Bibliography
- [Caseau and Laburthe, 1996] Yves Caseau and François Laburthe. CLAIRE: Combining objects and rules for problem solving. Proceedings of JICSLP, workshop on multi-paradigm logic programming, 1996.
- [Laburthe, 2000] François Laburthe. Choco: implementing a cp kernel. In CP00 Post Conference Workshop on Techniques for Implementing Constraint programming Systems (TRICS), Singapore, September 2000.
Notes
- [Claire] Claire is an object-oriented language designed to express complex algorithms in an elegant manner. It is available at claire3.free.fr. Claire is described in [Caseau and Laburthe, 1996].
- [Choco] Choco is a claire module that implements a powerful constraints solver within claire. It is available at www.choco-constraints.net. Choco is described in [Laburthe, 2000]. Choco is also available as a Java library.