Fixed typo
Typo
Clean up
Fixes for #61
Clean up
Unit test for #61
Clean up help text
Fixed typo
Add support to select cuts used in bmibnb
Add cut machine which multiplies linear equalities with monom
Use the new multiplied equality cut also in bound propagation if turned on
Pulled out some code outside loop for performance
Updated for new syntax with forced solver choice
Reformating some display
Added reference to generalized optimizer support
Public release R20130111
Clean up logic on where to decide not to use cut
Deleted test-code related to experimentation for issue #33
CLean up and typos
clean up help