DOE OSTI2021STreCHSymbolic regression software that formulates a symbolic regression problem as a mixed-integer nonlinear optimization problem, and solves it using a sequential tree construction heuristicLeyffer, Sven↗