CSC384 -- Introduction to Artificial Intelligence
Winter 2020


Assignment 2: Constraint Satisfaction

A2 Help Sessions

We will be conducting several sessions where students can get one-on-one help with their assignments, or just hang out and listen to others' questions. Information about these will be posted below.

Help Sessions:

Specification of the Assignment

In this assignment, you will be working with constraint satsfaction code to solve Futoshiki puzzles. You will be implementing forward checking, GAC, the minimum remaining value heuristic and two different encodings of CSP models. You must use the local software and assignment as described below.

Assignment 2 Handout (posted Feb 3)

The following zip files are part of the A2 specification:



Important: It's your responsibility to monitor the A2 Clarifications Page for any clarifications or corrections.

The A2 TAs, Christodoulis Karavasilis and Torin Viger, are available via Piazza for questions concering the assignment. If you have a question of a personal nature, please email Chris at ckar at cs dot utoronto dot ca, or Torin at torin.viger at mail.utoronto.ca, or an instructor. Please place A2 and CSC384 in the subject header of your message.