Solution Software for Computable General Equilibrium Modeling