README.md

   1 Automated Reasoning 2015
   2 ========================
   3
   4 ###Required latex packages for building the report.
   5
   6 - hyperref
   7 - a4wide
   8 - float
   9 - graphicx
  10 - amsmath
  11 - listings
  12 - nicefrac
  13 - booktabs
  14
  15 ###Licence
  16
  17 You are allowed to do anything you want with it except for handing this, or
  18 parts of it, in as a solution for the Automated Reasoning course 2015 at the
  19 Radboud University Nijmegen or the Automated Reasoning course 2015 at the
  20 Eindhoven University of Technology