dunkelheit ~develop (2021-09-26T11:55:02.1809452)

TwoSat.solve

dkh twosat TwoSat

Solve 2-SAT

struct TwoSat
bool
solve
()

Return Value

Type: bool

satisfiable or not

Meta

Source

See Implementation

dkh twosat TwoSat constructorsfunctionsstructsvariables

Page generated by adrdox