nosnoc
nosnoc copied to clipboard
Stewart reformulation for time-freezing
Currently time-freezing only supports the Heaviside-step reformulation. Add functionality to be able to use the Stewart reformulation as well.