ALL FILES IN THIS REPO MAY BE USED FOR EVERYTHING YOU LIKE EXCEPT FOR HANDING
IT, OR PARTS, IN AS A SOLTION FOR THE AUTOMATED REASONING COURSE AT THE RU
NIJMEGEN 2015/2016