README.md

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