Stars
A Zenburn-based style for GtkSourceView and applications such as Gedit.
1
Updated Jan 21, 2017
CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained …
Fast and embedded solvers for nonlinear optimal control and nonlinear model predictive control