Consistency Based CSP Solver
Tutorial 1: Creating a new CSP
This tutorial gives information about how to create a new CSP from scratch. You can skip this section if you only need to work with the ready-made CSPs.
Tutorial 2: Loading a preexisting CSP
This tutorial covers how to load one of the ready-made CSPs and gives a brief description of each of them.
Tutorial 3: Solving a CSP
This tutorial covers how to solve a CSP, and includes domain splitting and backtracking.
|Main Tools: Graph Searching | Consistency for CSP | SLS for CSP | Deduction | Belief and Decision Networks | Decision Trees | Neural Networks | STRIPS to CSP|