Finding Pathways in Reaction Networks Guided by Energy Barriers Using Integer Linear Programing | Synapse