Errors

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