true/2IMF25-AR - Automated Reasoning

Age	Commit message (Collapse)	Author	Files	Lines
2017-01-16	Added title for Q3, disabled Q4HEAD master	Peter Wu	1	-1/+3
	No more time/energy for Q4... Need to sleep.
2017-01-16	NFA: finish 2	Peter Wu	1	-2/+182

2017-01-16	NFA: initial solution	Peter Wu	1	-0/+43
	Python code is not cleaned up, it is working now... Generated LaTeX code was not positioned correctly, so just use GraphViz then.
2017-01-15	Part 4 problem definition and horrible implementation	Koen van der Heijden	1	-2/+29

2017-01-15	part 3 done	Koen van der Heijden	1	-6/+131

2017-01-14	3a done. 3b partially	Koen van der Heijden	1	-3/+38

2017-01-13	Grammar and readability improvements	Peter Wu	1	-11/+11

2017-01-13	FoodDelivery: formatting to fit 1b on one page	Peter Wu	1	-7/+3

2017-01-13	FoodDelivery: format SMT for 1a to fit on one page	Peter Wu	1	-24/+18

2017-01-13	FoodDelivery: adjust SMT and table output, add text for 1b	Peter Wu	1	-5/+81

2017-01-13	FoodDelivery: initial text	Peter Wu	1	-0/+138

2017-01-09	Center the graph figure	Peter Wu	1	-0/+3

2017-01-09	More accurate dimensions for figure	Peter Wu	1	-8/+8

2017-01-09	Part2: Initial questions typesetting	Peter Wu	1	-0/+126