Exemple #1
0
 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)