prolog
AMPL Model prolog.mod
GAMS Model prolog.gms
DAG File prolog.dag
Best solution prolog.res, obtained by solver BARON7.2