GitHub repository: tayutaedomo/SHOT
Description: A solver for mixed-integer nonlinear optimization problems