module DpllSolver::Formulas