true/2IMF25-AR - Automated Reasoning

Age	Commit message (Collapse)	Author	Files	Lines
2016-12-14	NeighbourSum: added NuSMV	Peter Wu	3	-8/+78

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

2016-12-14	NeighborSum: finished 4a	Peter Wu	2	-0/+142
	Also uncommented questions (a, b, etc.)
2016-12-12	tex file edit	Koen van der Heijden	2	-0/+7

2016-12-11	Correct format, just runs too slow...	Koen van der Heijden	1	-0/+0