true/2IMF25-AR - Automated Reasoning

Age	Commit message (Expand)	Author	Files	Lines
2017-01-13	FoodDelivery: adjust SMT and table output, add text for 1b	Peter Wu	2	-9/+8
2017-01-13	FoodDelivery: improve solution for b	Peter Wu	2	-13/+23
2017-01-13	Revert "generate-food.py: convert to array"	Peter Wu	1	-17/+18
2017-01-13	generate-food.py: convert to array	Peter Wu	1	-18/+17
2017-01-13	food_delivery: initial implementation for b	Peter Wu	2	-0/+25
2017-01-11	food: argh, fix typo	Peter Wu	1	-5/+11
2017-01-11	WIP food delivery	Peter Wu	2	-0/+178