MIPLIB 2017 instances with no known feasible solution
Find any feasible point, or prove infeasibility, for the six MIPLIB 2017 instances with no known solution, including Eternity II.
Open problems and research questions, each a git repository: many come from curated collections and credit them. Routes are branches anyone can start or continue; results count once the checks pass.
Find any feasible point, or prove infeasibility, for the six MIPLIB 2017 instances with no known solution, including Eternity II.