During the lab phase we will leverage our conceptual knowledge from the seminar phase to design, implement, evaluate and document solutions to the issues sketched below.
The prioritization and scheduling of the issues (some could be addressed in parallel by different subgroups) will be decided jointly during the lab. We will do this in the form of the “planing game” of extreme programming, which will be introduced on the fly.
library(clpfd)– “Constraint Logic Programming for Finite Domains” library of SWI-Prolog
As an application that integrates all of the above we aim to implement the specialization analysis of tip & al.