A Dimensional Reduction Algorithm and Software for Acyclically Dependent Constraints