1 Automated Reasoning 2015
2 ========================
4 ###Required software and libraries to build the report.
21 You are allowed to do anything you want with it except for handing this, or
22 parts of it, in as a solution for the Automated Reasoning course 2015 at the
23 Radboud University Nijmegen or the Automated Reasoning course 2015 at the
24 Eindhoven University of Technology