CILC Summer School in Genova

June 30th, 2015
Material for the Biology and Logic Programming course
Alessandro Dal Palu'


ASP encodings of the problems presented during the school. They are tested under Gringo 4, freely downloadable from here.