ACP Summer School in Wroclaw

September 24-28, 2012
Material for the Constraint and Biology course
Agostino Dovier


Slides of the course:
CLP(FD) encodings of the problems presented during the school. They are tested under BProlog, freely downloadable from here.