Followed by the efforts of MIPLIB 2017 https://miplib.zib.de/index.html , we can benchmark the effect of our library locally. The solution checker is at here https://miplib.zib.de/download.html. With human effort, we could enhance to verify the reduction rules.
Followed by the efforts of MIPLIB 2017 https://miplib.zib.de/index.html , we can benchmark the effect of our library locally. The solution checker is at here https://miplib.zib.de/download.html. With human effort, we could enhance to verify the reduction rules.