verify: Clarify assertion message.
[libfirm] / ir / lpp / lpp_gurobi.h
2011-08-12 Matthias Braunlpp: add firm copyright header, some cleanups
2011-06-24 Andreas ZwinkauMerge Fix: Spills have ProjMs now
2011-06-16 Matthias Braunfirst experimental version of gurobi ILP solver