Reimplement parser to only parse formulae once for AMPL and PuLP. Avoids memory issues on large problems
Write a unique constraint name for AMPL constraints