Errors

use_strict
Algorithm::SAT::Backtracking::DPLL, Algorithm::SAT::Backtracking::DPLLProb, Algorithm::SAT::Backtracking::Ordered, Algorithm::SAT::Backtracking::Ordered::DPLL
use_warnings
Algorithm::SAT::Backtracking::DPLL, Algorithm::SAT::Backtracking::DPLLProb, Algorithm::SAT::Backtracking::Ordered, Algorithm::SAT::Backtracking::Ordered::DPLL