implementation of the fix point LP-based bound tightening for MILP