Back to Tutorials.
Tutorial 2: Loading A Pre-existing CSP
The SLS applet comes with several pre-defined examples to allow you to start working with CSPs
without having to create one yourself. To load a sample CSP, go to the 'File' menu and select 'Load Sample
CSP'. A dialog will open with a drop-down menu allowing you to select a particular CSP.
- Simple Problem 1: This simple CSP uses three integer variables and
- Simple Problem 2: This simple CSP uses three integer
variables and three constraints.
- Scheduling Problem 1: This CSP uses integer variables and some available integer constraints to model an example scheduling problem of trying to schedule meeting times.
- Scheduling Problem 2: This CSP is similar to 'Scheduling Problem 1' but more difficult to solve and uses some custom constraints.
- Crossword Problem 1:
This is a 3x3 crossword problem (where A1, A2, A3 are the three rows across; and
D1, D2, D3 are the three columns). The values of the domains are 3-letter words.
Crossword Problem 2: This is a simple crossword problem with five
variables and five constraints.
- Five Queens Problem:
This models the problem of placing 5 queens on a 5x5 chessboard such that no two
queens can attack each other.
- Eight Queens Problem:
Similar to "Five Queens Problem," except this time with eight queens on an 8x8