diff options
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 |