true/2IMF25-AR - Automated Reasoning

Age	Commit message (Expand)	Author	Files	Lines
2016-12-14	PackingPallets; redid 1a	Peter Wu	3	-9/+376
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	4	-11/+228
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	3	-1/+57
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	3	-19/+274
2016-12-13	a is good. b is not	Koen van der Heijden	1	-77/+71
2016-12-13	JobScheduling: formatting	Peter Wu	1	-4/+5
2016-12-13	ChipDesign: optimize, finish report part	Peter Wu	2	-16/+52
2016-12-12	ChipDesign: a bit more final?	Peter Wu	2	-4/+192
2016-12-12	ChipDesign: Working solution	Peter Wu	2	-28/+43
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	3	-30/+32
2016-12-12	Merge branch 'master' of Lekensteyn:true/2IMF25-AR	Koen van der Heijden	2	-0/+18
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	3	-0/+46
2016-12-12	ChipDesign: Add text labels with size and number	Peter Wu	2	-0/+18
2016-12-12	Merge branch 'master' of Lekensteyn:true/2IMF25-AR	Koen van der Heijden	3	-9/+137
2016-12-12	tex file edit	Koen van der Heijden	3	-0/+46
2016-12-12	ChipDesign: attempt at hitting the power resource	Peter Wu	3	-13/+28
2016-12-12	ChipDesign fixes	Peter Wu	3	-8/+121
2016-12-11	ChipDesign: added generator	Peter Wu	1	-0/+132
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