def set_model(self, model, solver_id, solver_name, solver):
self.model = model
# print "c minimise_obj:", str(self.minimise_obj), self.minimise_obj.get_min(), self.minimise_obj.get_max()
# print "c maximise_obj:", str(self.maximise_obj)
print("c Outputting to:", self.filename)
SatWrapperSolver.output_cnf(self, self.filename)
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)
