Python backtrack примеры использования

Пример #1

Файл: nfexpr.py Проект: rbarzic/pyeda

 def satisfy_one(self, algorithm='dpll'):
     if algorithm == 'backtrack':
         return backtrack(self)
     elif algorithm == 'dpll':
         return dpll(self)
     else:
         raise ValueError("invalid algorithm")

Пример #2

Файл: expr.py Проект: rbarzic/pyeda

 def satisfy_one(self, algorithm='backtrack'):
     if algorithm == 'backtrack':
         return sat.backtrack(self)
     elif algorithm == 'dpll':
         if self.is_cnf():
             return sat.dpll(self)
         else:
             raise TypeError("expression is not a CNF")
     else:
         raise ValueError("invalid algorithm")