DOE OSTI2020GALINI: An extensible mixed-integer quadratically-constrained optimization solver.Abstract not provided.Ceccon, Francesco↗