Lectures, Slides, and Literature
Resources: MiniZinc, LaTeX, MiniCP
Assignments
Project
Demo Report
Grades and Credits
Contact, Help, Ethics, and Frequently Asked Questions (FAQ)
Course Evaluations and Feedback