linear relaxations
linear relaxation integrated into pruning loop
*** empty log message ***
integration of relaxation into pruning
cleaning the code
x<>y constraints removed from list of constraints
infeasibility certificate somehow working