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.
Pull requests
Pull requests bring work from one route into another; merging one adopts it.