true/2IMF25-AR - Automated Reasoning

Age	Commit message (Collapse)	Author	Files	Lines
2016-12-14	Formatting	Peter Wu	1	-1/+1

2016-12-14	JobScheduling: finish 3b	Peter Wu	1	-23/+54
	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	1	-38/+135
	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-14	PackingPallets: solved 1b	Peter Wu	1	-4/+38

2016-12-14	PackingPallets; redid 1a	Peter Wu	1	-9/+142
	A bit more formal and generalized.
2016-12-14	NeighborSum: move NuSMV result next to SMT solver, add explanation	Peter Wu	1	-81/+87

2016-12-14	NeighbourSum: added NuSMV	Peter Wu	1	-3/+150

2016-12-14	Quick writedown of 1, may need some formalization	Koen van der Heijden	1	-1/+12

2016-12-14	NeighborSum: add 4b (SMT soler part)	Peter Wu	1	-0/+42

2016-12-14	part1: add running time and remark for 4a, add email addresses	Peter Wu	1	-5/+20

2016-12-14	NeighborSum: finished 4a	Peter Wu	1	-19/+132
	Also uncommented questions (a, b, etc.)
2016-12-13	JobScheduling: formatting	Peter Wu	1	-4/+5

2016-12-13	ChipDesign: optimize, finish report part	Peter Wu	1	-10/+50

2016-12-12	ChipDesign: a bit more final?	Peter Wu	1	-3/+184

2016-12-12	ChipDesign: Working solution	Peter Wu	1	-22/+22

2016-12-12	Merge remote-tracking branch 'refs/remotes/origin/master'	Peter Wu	1	-5/+40

2016-12-12	ChipDesign: add FIXME and print coordinate	Peter Wu	1	-12/+12

2016-12-12	Merge branch 'master' of Lekensteyn:true/2IMF25-AR	Koen van der Heijden	1	-0/+12

2016-12-12	solution job sched	Koen van der Heijden	1	-5/+40

2016-12-12	Merge remote-tracking branch 'refs/remotes/origin/master'	Peter Wu	1	-0/+39

2016-12-12	ChipDesign: Add text labels with size and number	Peter Wu	1	-0/+12

2016-12-12	Merge branch 'master' of Lekensteyn:true/2IMF25-AR	Koen van der Heijden	1	-1/+20

2016-12-12	tex file edit	Koen van der Heijden	1	-0/+39

2016-12-12	ChipDesign: attempt at hitting the power resource	Peter Wu	1	-12/+12

2016-12-12	ChipDesign fixes	Peter Wu	1	-0/+19

2016-12-05	Add student numbers	Peter Wu	1	-1/+1

2016-12-05	Add assignment text to the template	Peter Wu	1	-1/+88

2016-12-05	Initial commit	Peter Wu	1	-0/+24