hdiff
packages
feed
toysolver
-0.5.0: samples/lp/infeasible.lp
Minimize 0 x Subject To 3 x >= 1 3 x <= 2 Bounds -inf <= x <= +inf General x End