Consistency Based CSP Solver

Back to help contents.

dotTutorial 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.

dotTutorial 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.

dotTutorial 3: Solving a CSP

This tutorial covers how to solve a CSP, and includes domain splitting and backtracking.

Valid HTML 4.0 Transitional