Finding Pathways in Reaction Networks guided by Energy Barriers using Integer Linear Programming | Arena Library | Arena