module DpllSolver::Heuristics