Commits · e32358159451eb4705cdcd2f9aaf5b50a906292e · miplib2017 / revised-submissions-final · GitLab

Dec 14, 2018
- replaced some instances by their miplib 2010/2003 versions · e3235815
  Gerald Gamrath authored Dec 14, 2018
  
  e3235815
Sep 20, 2018
- capitalize miplib2010 in misc meta information · 5fbd4b92
  Gregor Hendel authored Sep 20, 2018
  
  5fbd4b92
Aug 09, 2018
- commit instances with correct NAME tag · 0489c6fd
  Gregor Hendel authored Aug 09, 2018
  
  0489c6fd