e-constraints.net
the home of Explanation-based Constraint Programming
Search

 Introduction   Implementations   Applications   Pointers 
e-constraints.net : Implementations : PaLM : general information

PaLM information page

Here is some general information about PaLM. Note that there is a dedicated forum in the e-constraints.net forums.

Overview


PaLM license

The PaLM license describes the rights of users of PaLM. Its purpose is to ensure that PaLM serves its original purpose of helping the community of people interested in explanation-based constraint programming in taking advantage of the methods and tools developed in the research community.

The license is available in the PaLM distribution and here.


Version history

#Release DateDescription
Java 0.9b002 Jun 24, 2004 Released as a module part of the Java version of choco.
v1.324 Dec 1, 2002 Compatibility made with claire 3.2.52 and choco v1.324. Some cosmetic changes.
v1.018 May 3, 2002 Added PalmCardinality constraint (wish w002). Added a complete set of all-different related constraints. Compatibility made with choco v1.018
v1.07 Oct. 12, 2001 First public release of PaLM fully compatible with choco v1.07


Bug tracking information

At this date, there is no known bug in PaLM ! If by any chance, you find one in PaLM, please submit it to palmbugs@e-constraints.net with the more precise information that you can retrieve to help correct it or you can submit your problem to the PaLM forum on the e-constraints.net forums.


Wish list

Here is the current wish list of PaLM. You can submit your own wish to palmbugs@e-constraints.net.

#DescriptionComment
w003 Provide a repair mechanism that modifies the current state by removing and restoring constraints. This feature should appear in the next PaLM release. It is quite easy to implement as an exercise related to search in PaLM.
w002 Adding support for the Cardinality constraint. The PalmCardinality constraint will appear in the next PaLM release. Integrated since v1.018.
w001 Adding backtracking capabilities to PaLM. This needs to add store informations to the whole PaLM code. Another way of achieving it is to simulate backtracking by removing the last introduced decision constraint. This may appear in a future version.

- Last modified: Thu Jul 08 09:30:26 Paris, Madrid (heure d'été) 2004 by Webmaster