true/2IMF25-AR - Automated Reasoning

Age	Commit message (Expand)	Author	Files	Lines
2016-12-14	JobScheduling: finish 3b	Peter Wu	1	-0/+6
2016-12-14	JobScheduling: redo 3a	Peter Wu	2	-0/+255
2016-12-11	Finished job scheduling	Koen van der Heijden	2	-0/+82
2016-12-11	Correct format, just runs too slow...	Koen van der Heijden	1	-0/+0