satd.solvers.dpll

Undocumented in source.

Members

Aliases

Null alias Null = typeof(null): Undocumented in source.
SolverResult alias SolverResult = Algebraic!(Assignment, Null): Undocumented in source.
unitPropagateResult alias unitPropagateResult = Tuple!(CNF, "F", Assignment, "assignment"): Undocumented in source.

Functions

dpll SolverResult dpll(CNF F, Assignment assignment): Undocumented in source. Be warned that the author may not have intended to support it.
solve SolverResult solve(CNF F): Undocumented in source. Be warned that the author may not have intended to support it.
unitPropagate unitPropagateResult unitPropagate(CNF F, Assignment assignment): Undocumented in source. Be warned that the author may not have intended to support it.

Variables

k ulong k;: Undocumented in source.

Meta

Source

See Source File

satd solvers modules