def __init__(self):
# We need to call init on both parent classes, super won't do this
# if they both inherit from base class object.
ExternalSolver.__init__(self)
SatWrapperSolver.__init__(self)
def __init__(self):
# We need to call init on both parent classes, super won't do this
# if they both inherit from base class object.
ExternalSolver.__init__(self)
SatWrapperSolver.__init__(self)