TwoSat.addClause

Clause (vars[a] == expectedA) || (vars[b] == expectedB)

struct TwoSat

void

addClause

(

size_t a

,

,

size_t b

,

)

Meta

Source

See Implementation

dkh twosat TwoSat constructors

this

functions

structs

Edge

variables

vars