def conf_budget(self, budget):
        """
            Set limit on the number of conflicts.
        """

        if self.maplesat:
            pysolvers.maplesat_cbudget(self.maplesat, budget)
def conf_budget ( self , budget ) : if self . maplesat : pysolvers . maplesat_cbudget ( self . maplesat , budget )
Set limit on the number of conflicts.