An implementation of Moskovitz's factoring theorem to compute reliability on networks.