Stochastic Local Search Based CSP Solver
Building a problem yourself should be straightforward - just make sure that you're in "Create Mode". To create variables, 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. Check the extended help if you're having problems, or if you don't understand what all the terminology means.
Once you have acquired a CSP you want to solve, click the "Solve" tab above the main canvas to start solving.
First initialize the search by clicking on the "Initialize" button.
Then there are three ways to solve the CSPs:
You can adjust the speed of Auto Solve by selecting the desired checkbox under 'Auto Solve Speed' under the 'Hill Options' menu.
At any point during the search you can return to a previous assignment using the "Trace" window by pressing the "Step Back" button or by selecting a previous assignment in the Trace display and then pressing "Set CSP". You may also watch the progress of the search by pressing the show plot button.
|Main Tools: Graph Searching | Consistency for CSP | SLS for CSP | Deduction | Belief and Decision Networks | Decision Trees | Neural Networks | STRIPS to CSP|