true/2IMF25-AR - Automated Reasoning

Age	Commit message (Expand)	Author	Files	Lines
2016-12-11	Correct format, just runs too slow...	Koen van der Heijden	6	-0/+181
2016-12-05	Add student numbers	Peter Wu	1	-1/+1
2016-12-05	Add empty z3 files	Koen van der Heijden	4	-0/+0
2016-12-05	Add assignment text to the template	Peter Wu	1	-1/+88
2016-12-05	Initial commit	Peter Wu	2	-0/+34