HomeIsabelle/Phabricator

improved estimation by getting rid of max-1 operation in…

Description

improved estimation by getting rid of max-1 operation in small_mixed_integer_solution