python の LP/MIP ソルバー（のラッパー）である pulp のバグをみつけたのでメモ． GitHub - coin-or/pulp: A python Linear Programming API 具体的には，目的関数がゼロの場合，ダミー変数が現れて solve() 後の valid() （現在の解が実行可能かどうか）の…