Saarland University
Computer Science
Programming Systems

Main page
Mailing list

Constraint Programming: Services

We offer a number of services that will help you understand and practise the contents of the lecture. We recommend you to make use of as many of these services as possible.


Assignments encourage you to test your understanding of the concepts covered in the lecture, and to practise the methods we discuss.

A new assignment will be published every week. After one week, we will publish a sample solution that you can compare your own solutions to. If you have further questions, you can discuss them in the tutorial, during the office hours, and on the mailing list.

Most assignments will require you to write code in Java, using the Gecode/J constraint programming library for Java.

The lecture notes and assignments are partly based on the slides Christian Schulte prepared for courses at KTH, Sweden. You find a lot of additional material on his course web site.

Propagators in Gecode/J

Here is a small introduction to implementing propagators in Gecode/J by Mikael Lagerkvist.


The tutorial is the prime place to discuss the assigments, and to ask any other content-related questions about the lecture. The tutorial usually takes about an hour. The tutors for this lecture are Marco Kuhlmann and Guido Tack (see the main page for their e-mail addresses).

Office Hours

During our office hours, we can give you direct support. You may, for example, want to

Please see the main page to find out about the time slots for our office hours.

Mailing list

Subscribing to the mailing list is highly recommended. You can use the list to ask any questions you might have about the lecture. We will use it to make important announcements.

Click here to subscribe to or unsubscribe from the mailing list, or to visit the list archives.

Last Change: Wed May 1 17:58:10 2019 |