Tutorials
Consistency Based CSP Solver

## Tutorial 2: Loading A Pre-existing CSP

The CSP 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 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 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 chessboard.