sat-d ~master (2022-04-03T07:32:45.429282)
Dub
Repo
solve
satd
solvers
dpll
Undocumented in source. Be warned that the author may not have intended to support it.
SolverResult
solve
(
CNF
F
)
Meta
Source
See Implementation
satd
solvers
dpll
aliases
Null
SolverResult
unitPropagateResult
functions
dpll
solve
unitPropagate
variables
k