An Issue with the ILP Solver Function 'isl_tab_basic_set_non_trivial_lexmin'

At times, 'isl_tab_basic_set_non_trivial_lexmin' does not return the lexicographically smallest solution. It appears that the order of rows in the trivial matrix within the trivial region may influence this outcome.