true/2IMF25-AR - Automated Reasoning

Age	Commit message (Expand)	Author	Files	Lines
2016-12-14	PackingPallets: solved 1b	Peter Wu	1	-0/+7
2016-12-14	PackingPallets; redid 1a	Peter Wu	2	-0/+234
2016-12-13	a is good. b is not	Koen van der Heijden	1	-77/+71
2016-12-11	Skeleton for Chip design	Koen van der Heijden	1	-1/+0
2016-12-11	Finished job scheduling	Koen van der Heijden	1	-2/+2
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	1	-0/+180