dunkelheit v0.10.0 (2017-12-20T18:24:10Z)
Dub
Repo
TwoSat.addClause
dkh
twosat
TwoSat
Clause
(
vars
[
a
] ==
aExpect
) || (
vars
[
b
] ==
bExpect
)
struct
TwoSat
void
addClause
(
size_t
a
,
bool
expectedA
,
size_t
b
,
bool
expectedB
)
Meta
Source
See Implementation
dkh
twosat
TwoSat
constructors
this
functions
addClause
solve
structs
Edge
variables
vars
Clause (vars[a] == aExpect) || (vars[b] == bExpect)