JCK: Java Constraint Kit

JCK is a library providing constraint programming for the host language Java.

• JCHR: Java Constraint Handling Rules
  A high-level language to write application specific constraint solvers
• JASE: Java Abstract Search Engine
  A generic search engine for JCHR to solve constraint problems
• VisualCHR
  An interactive tool to visualize JCHR computations

Documentation

• JCHR
1. Structure of a JCHR handler
2. How to define JCHR rules?
3. How to define JCHR goals?
4. Variables, Methods and Types
5. Example
6. How to run a JCHR handler?
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

Paper about JCK