/integer_sum_from_neighbours/

• ../
• generate-neighborsum.py
• generate-neighborsumsmv.py
• neighborsum-to-latex.py