Merge remote-tracking branch 'origin/master'

zerosumset/__init__.py

-
 from z3 import *
 
-elems = [-7, -3, -2, 9000, 5, 8]
-
 def zerosumset(elems):
 
-
     n = len(elems)
 
     # Symbolic variables: is_in[i] is 1, if element i is in the zero sum subset, 0 otherwise