Skip to content

Remove Ipopt as dependency - #13

Merged
blegat merged 1 commit into
mainfrom
bl/ipopt
Jan 9, 2026
Merged

Remove Ipopt as dependency#13
blegat merged 1 commit into
mainfrom
bl/ipopt

Commits

Commits on Jan 9, 2026