2018-10-25 ■ PuLPのPR(修正要求)出してたら、採用された。https://github.com/coin-or/pulp/pull/172#event-1924585344内容は、MIPでInfeasibleのときにUndefinedとなるバグ。