Course Selection Demonstration

Obligatory Courses

Optional Courses


This demo demonstrates an application for students in which they compose a study program by selecting courses. The selection has to meet a set of constraints, expressed as an IDP theory.

The demo shows how the IDP theory is used for solving different tasks:

  • to propagate the decisions made so far by the student: which courses must and which ones cannot be part of the program (the visualisation colours them and disables their check box)
  • to check which constraints are still violated by the current selection
  • to expand the current selection in a program, i.e., a set of courses that satisfy all constraints
  • to minimize the current selection, i.e., expand it in a program with a minimal cost

The rules of this example are:

  • {{rule}}

Error:

 {{errors}}