2 \caption{Domain description task
1}
4 \prologcode{./src/domaintask1.pl
}
7 \caption{Instance description task
4}
9 \prologcode{./src/instancetask4.pl
}
12 \caption{Instance description task
5}
14 \prologcode{./src/instancetask5.pl
}
17 \caption{Instance description task
6}
19 \prologcode{./src/instancetask6.pl
}
22 \caption{Domain description task
6}
24 \prologcode{./src/domaintask6.pl
}
27 \caption{Instance description task
7}
29 \prologcode{./src/instancetask7.pl
}
32 \caption{Domain description task
7}
34 \prologcode{./src/domaintask7.pl
}
37 \caption{Generating conflict sets
}
39 \prologcode{./src/task12.pl
}
42 \caption{Hitting set datastructure
}
44 \prologcode{./src/hs.pl
}
47 \caption{Code for generating a hitting set tree
}
49 \prologcode{./src/task14part1.pl
}
52 \caption{Code for generating a minimal hitting sets
}
54 \prologcode{./src/task14part2.pl
}