From 64e65ab2fbdb756b6f45cd7d2eeca8e46383f621 Mon Sep 17 00:00:00 2001 From: Peter Wu Date: Wed, 14 Dec 2016 15:06:10 +0100 Subject: NeighbourSum: added NuSMV --- integer_sum_from_neighbours/generate-neighborsum.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'integer_sum_from_neighbours/generate-neighborsum.py') diff --git a/integer_sum_from_neighbours/generate-neighborsum.py b/integer_sum_from_neighbours/generate-neighborsum.py index 14a8d23..d0b1950 100755 --- a/integer_sum_from_neighbours/generate-neighborsum.py +++ b/integer_sum_from_neighbours/generate-neighborsum.py @@ -2,7 +2,7 @@ # Usage for 4a (where 7 is the number of steps to run): # $0 7 | z3 -smt -in # Usage for 4b: -# $0 7 b | z3 -smt -in +# $0 17 b | z3 -smt -in import sys # i = 1..8 -- cgit v1.2.1