Datamodel to AMPL model converter, AMPL model Solver