TwoSat.addClause

Clause (vars[a] == aExpect) || (vars[b] == bExpect)

struct TwoSat
void
addClause
(
size_t a
,,
size_t b
,)

Meta