add gmp
*** empty log message ***
bugfix negation of constraints
relaxation with -b flag
linear relaxations