true/2IMF25-AR - Automated Reasoning

Age	Commit message (Expand)	Author	Files	Lines
2016-12-11	Skeleton for Chip design	Koen van der Heijden	2	-3/+67
2016-12-11	Initialized Chip Design	Koen van der Heijden	2	-0/+6
2016-12-11	Finished job scheduling	Koen van der Heijden	3	-2/+84
2016-12-11	Removed package for easier compiling	Koen van der Heijden	1	-13/+22
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