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         - amsmath
  10         - listings
  11         - nicefrac
  12         - booktabs
  13 - Yices
  14 - Bash
  15 - Python3
  16 - Make
  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