def __init__(self):
this = _pywrapsat.new_SatHelper()
try:
self.this.append(this)
except __builtin__.Exception:
self.this = this
def __init__(self):
_pywrapsat.SatHelper_swiginit(self, _pywrapsat.new_SatHelper())