There is an ongoing outage on the primary CPAN mirror. It is possible to work around the issue by using MetaCPAN as a mirror.

Module Permissions for Algorithm-SAT-Backtracking

Authorized Releasers (1)
MUDLER
Module (6) Owner (1) Co-Maintainers (0)
Algorithm::SAT::Backtracking MUDLER
Algorithm::SAT::Backtracking::DPLL MUDLER
Algorithm::SAT::Backtracking::DPLLProb MUDLER
Algorithm::SAT::Backtracking::Ordered MUDLER
Algorithm::SAT::Backtracking::Ordered::DPLL MUDLER
Algorithm::SAT::Expression MUDLER