esolver - exact mixed integer linear solver
esolver [options] problem_file
For a complete summary of options, see the help menu.