Apr 2023
Facial reduction via Gauss-Newton is added. 