def new(self, bootstrap_with=None, use_timer=False):
        """
            Actual constructor of the solver.
        """

        if not self.minicard:
            self.minicard = pysolvers.minicard_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
def new ( self , bootstrap_with = None , use_timer = False ) : if not self . minicard : self . minicard = pysolvers . minicard_new ( ) if bootstrap_with : for clause in bootstrap_with : self . add_clause ( clause ) self . use_timer = use_timer self . call_time = 0.0 self . accu_time = 0.0
Actual constructor of the solver.