TwoSat
struct TwoSat
Methods
__init__
__init__(out self, n: Int)
add_clause
add_clause(mut self, i: Int, f: Bool, j: Int, g: Bool)
satisfiable
satisfiable(mut self) -> Bool
answer
answer(self) -> List[Bool]