docs: def new(self, bootstrap_with=None, use_timer=False):
          """
              Actual constructor of the solver.
          """
  
          if not self.minisat:
              self.minisat = pysolvers.minisat22_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