Version 0.4
-
now, asserting bounds returns whether these bounds are trivially implied by those that are already known ( /!\ this may break code that uses previous versions )
-
add a field
nb_pivots
in the environment to count the number of pivots that have been made so far -
some other optimizations