new function: interior
vector operations
is_a_number added
*** empty log message ***
handling UserDefined finished
user defined pruning
comment updated
parsing new hsolver constraints
SR: preserving rounding mode in pruning functions
