true/2IMF25-AR - Automated Reasoning

Age	Commit message (Collapse)	Author	Files	Lines
2016-12-14	JobScheduling: finish 3b	Peter Wu	1	-0/+6
	Previous answer was correct, but rewriting it to fit the variables used in part (a). Also adding a picture.
2016-12-14	JobScheduling: redo 3a	Peter Wu	2	-0/+255
	The report was too terse and incomplete. For example, the included code was missing checks for the minimal time and the Java code contains a strange check for the last constraint that seems wrong (did you mean "or"?). Just redo it, saves more time. Also, the generate-jobscheduling.py scrypt contains dead code. I originally planned to implement marking dependencies, but that is not done.
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