JACK: Java Constraint Kit

Documentation

• JCHR
1. Structure of a JCHR handler
2. JCHR Declarations
3. JCHR Rules
4. JCHR Goals
5. Example
6. Compilation and Stand-Alone Execution
7. Interface JCHR - Java
• JASE
1. Search concepts
2. How to run a search in the Finite Domain handler?
3. Classes and interfaces for using search
   • SChoice variants
   • SDepthFirstExploration
   • SSearch
4. Branch and bound
5. Limited discrepancy search
6. Classes and interfaces for implementing new search algorithms
• VisualCHR
  1. Documentation and Download
  2. Demo

VisualCHR

VisualCHR is a visual tool to support the development of JCHR programs. It can be used to understand the details of constraint propagation methods and the interaction of different constraints and rules.

Documentation and Download

To use the applet you need a browser with Java 1.1 support, for example the Netscape Communicator version 4.5 or older or Internet Explorer version 5 or older. This applet does not work with the versions 4.0X of Netscape Communicator.

You will need the swing classes archive swingall.jar. Although you can download it from here together with the applet, it is advisable to install the archive in your browser's classpath first. Why? The archive has a size of about 2.5 MB. Loading the applet and the swing classes can take over 10 minutes at every invocation.

If you want to use the program for debugging your own JCHR solvers, then you need a Java 1.1 runtime environment installed on your local machine and you have to download the following files:

• VisualCHR.jar (VisualCHR classes)
• evaluator.jar (JCHR-evaluator classes)
• swingall.jar (swing classes)

Put these archives in your classpath, and run the application with the command java visualchr.VisualCHR. The path of the JCHR solver that has to be loaded must be in the classpath, too. To simplify this procedure, you can download and modify this simple unix shell script. To avoid version conflicts, please use the following compiler classes for compliling your own JCHR solvers:

• compiler.jar (JCHR-compiler classes)
• antlr.jar (needed by JCHR-compiler)

The manual for VisualCHR (in English and German) and source code documentation can be found under the following links.

• Manual in English
• Manual in German (pdf, ps)
• Source Code Documentation (generated with javadoc)

The following list contains links to all sample solver archives and their source code.

bool. [jar, jchr.txt ([ ])]	fd. [jar, jchr.txt ([ ])]	fdReell. [jar, jchr.txt ([ ])]	gcd. [jar, jchr.txt ([ ])]
leq. [jar, jchr.txt ([ ])]	lineq. [jar, jchr.txt ([ ])]	min. [jar, jchr.txt ([ ])]	primes. [jar, jchr.txt ([ ])]

Demo

Note: Please read Section Documentation and Download first!

Select an appropriate link to start the applet.

VisualCHR (If you have JavaScript activated, use the link to run the applet in a new browser window.)

VisualCHR with Swing (If you have JavaScript activated, use the link to run the applet in a new browser window.)