A library and solver framework for parallel solution of mixed integer linear optimization problems