code: def new(self, bootstrap_with=None, use_timer=False, with_proof=False):
          
  
          if not self.maplesat:
              self.maplesat = pysolvers.maplecm_new()
  
              if bootstrap_with:
                  for clause in bootstrap_with:
                      self.add_clause(clause)
  
              self.use_timer = use_timer
              self.call_time = 0.0  # time spent for the last call to oracle
              self.accu_time = 0.0  # time accumulated for all calls to oracle
  
              if with_proof:
                  self.prfile = tempfile.TemporaryFile()
                  pysolvers.maplecm_tracepr(self.maplesat, self.prfile)
docs: Actual constructor of the solver.