dunkelheit ~master (2018-05-28T16:17:34Z)

TwoSat.solve

dkhtwosatTwoSat

Solve 2-SAT

struct TwoSat
bool
solve
(
)

Return Value

Type: bool

satisfiable or not

Meta

Source

See Implementation

dkhtwosatTwoSat constructorsfunctionsvariables
Page generated by adrdox