Consistency Based CSP Solver
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.
When in "Solve" mode, there are many ways to perform the arc-consistency algorithm:
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.
|Main Tools: Graph Searching | Consistency for CSP | SLS for CSP | Deduction | Belief and Decision Networks | Decision Trees | Neural Networks | STRIPS to CSP|