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