diff options
author | Peter Wu <peter@lekensteyn.nl> | 2016-12-14 15:06:10 +0100 |
---|---|---|
committer | Peter Wu <peter@lekensteyn.nl> | 2016-12-14 15:06:10 +0100 |
commit | 64e65ab2fbdb756b6f45cd7d2eeca8e46383f621 (patch) | |
tree | 5ef8293c1622206ebd47dabb58e397067f40fedb /integer_sum_from_neighbours/generate-neighborsum.py | |
parent | 86f397d5a69fe0d8e9c51117f9e5f7b21a2972f2 (diff) | |
download | 2IMF25-AR-64e65ab2fbdb756b6f45cd7d2eeca8e46383f621.tar.gz |
NeighbourSum: added NuSMV
Diffstat (limited to 'integer_sum_from_neighbours/generate-neighborsum.py')
-rwxr-xr-x | integer_sum_from_neighbours/generate-neighborsum.py | 2 |
1 files changed, 1 insertions, 1 deletions
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 |