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.