automatic documentation update
Corrections and completions to the SNOPT interface #1008
automatic documentation update
Merge branch 'develop' of github.com:ghorn/casadi into develop