true/2IMF25-AR - Automated Reasoning

Age	Commit message (Collapse)	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
	Now requires truck to return to a location, also accept any location instead of just the supply location S.
2017-01-13	Revert "generate-food.py: convert to array"	Peter Wu	1	-17/+18
	This reverts commit d49ec13d1a039315fe3d137e003a01e635af855e. Arrays are unbounded, so avoid its use if possible. It would require more changes.
2017-01-13	generate-food.py: convert to array	Peter Wu	1	-18/+17
	Hopefully it makes doing 1b easier.
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
	Village D has a capacity of 160, not 120...
2017-01-11	WIP food delivery	Peter Wu	2	-0/+178