Back to Tutorials.
Tutorial 2: Loading A Preexisting CSP
The SLS applet comes with several predefined 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 dropdown menu allowing you to select a particular CSP.
 Simple Problem 1: This simple CSP uses three integer variables and
two constraints.
 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 3letter 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
chessboard.
