You need to attend the first lecture to be sure to keep your seat (or email the course leader before the course starts). You should formally register in the LADOK system, preferrably before the course starts. Instructions: in Swedish, in English. If you fail to register, the department might register you anyway, if you attended the first lecture.

• Course plan
• Lectures and labs

• Lab instruction for JaCoP (pdf)
• Lab metarial is available at /usr/local/cs/EDAN01/
• All lab assignments can be done on a personal computer with JaCoP (jar file available at sourceforge) and minizinc (available at minizinc.org). For instruction on installing JaCoP in minizinc, please consult a relevant information in JaCoP Guide.

Exam date: 2020-01-14, 14-19, E:1147

Previous examinations

• Examination 2016-03-18
• Examination 2017-01-10
• Examination 2018-01-12
• Examination 2019-01-09

• JaCoP solver
• MiniZinc
• On-line guide to constraint programming