diff options
| author | Koen van der Heijden <koen.vd.heijden1@gmail.com> | 2016-12-11 17:16:19 +0100 |
|---|---|---|
| committer | Koen van der Heijden <koen.vd.heijden1@gmail.com> | 2016-12-11 17:16:19 +0100 |
| commit | 8c3efd1ed40f51115a3766248dcff62cf9e3f12d (patch) | |
| tree | 51dd459ca77c03da5cb5113c2b7af67d39fdd734 /integer_sum_from_neighbours | |
| parent | 6cd69b06809161c20689f4e7a2c4d4cead0301bc (diff) | |
| download | 2IMF25-AR-8c3efd1ed40f51115a3766248dcff62cf9e3f12d.tar.gz | |
Correct format, just runs too slow...
Diffstat (limited to 'integer_sum_from_neighbours')
| -rw-r--r-- | integer_sum_from_neighbours/integer_sum_from_neighbours.z3 | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/integer_sum_from_neighbours/integer_sum_from_neighbours.z3 b/integer_sum_from_neighbours/integer_sum_from_neighbours.z3 new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/integer_sum_from_neighbours/integer_sum_from_neighbours.z3 |