TwoSat.addClause

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

struct TwoSat

void

addClause

(

size_t a

,

,

size_t b

,

)

Meta

Source

See Implementation

dkh twosat TwoSat constructors

this

functions

structs

Edge

variables

vars