SAT-DPLL-0.1.0.0
Heuristics
type Heuristic = KB -> [Variable] -> [Variable] Source #
identity :: Heuristic Source #