Saved pastes by bram:
1 2 3 4 5
class SolutionFound(BaseException): def __init__(self): self.s = [] def assign(clauses, val):