Consistency Based CSP Solver create and solve constraint satisfaction problem. Constraint satisfaction problems (CSPs) are pervasive in AI problems. A constraint satisfaction problem is the problem of assigning values to variables that satisfy some constraints. This constraint satisfaction problem solver (arc consistency) tool is designed to help you learn about solving CSPs with a systematic search technique called arc consistency.

Consistency Based CSP Solver is a convenient, easy-to-use software specially designed to enable you to create such a problem and solve it using a consistency based algorithm with backtracking.

This applet is designed to let you create such a problem and solve it using a consistency based algorithm with backtracking.

Creating Problems:
Building a problem yourself should be straightforward - just make sure that you're in "Create" mode. To create nodes, click on the "Create Variable" button, then click on the white canvas to bring up a dialog box where you can specify all the variable information. Creating constraints is just as easy. You can also load a ready made sample CSP from the many available. Just click on Load Sample CSP from the "File" menu and select one to load. Check the extended help if you're having problems, or if you don't understand what the terminology means.

Solving Problems:
When in "Solve" mode, there are many ways to perform the arc-consistency algorithm:
1. Select blue arcs you want to process simply by clicking on them.
2. Step or Fine Step through arc-consistency using the "Step" or "Fine Step" button, letting the software automatically pick arcs on the queue and make them consistent.
3. Let the software do all the work by clicking "Auto Arc-Consistency". You can adjust the speed of Auto Arc-Consistency by checking one of the checkboxes in the "Arc-Consistency Speed" submenu under the "CSP Options" menu.
4. Let the software find solutions one at a time using the "AutoSolve" button. AutoSolving recursively makes the CSP arc-consistent and splits domains if necessary until a solution is found.

To perform domain splitting, click on any variable. This will bring up a dialog box where you can specify which domain elements you want to keep. Once you've split a domain, you can perform arc-consistency on the smaller problem. At any time, you can get the "other half" of the split domain by clicking on the "Backtrack" button.

Requirements:
* Java

The license of this software is Freeware, you can free download and free use this calculator software.