redcyc5
AMPL Model redcyc5.mod
GAMS Model redcyc5.gms
DAG File redcyc5.dag
Best solution redcyc5.res, obtained by solver donlp2