diff options
| -rw-r--r-- | math/casadi/pkg-descr | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/math/casadi/pkg-descr b/math/casadi/pkg-descr index 4abd95c36728..7e1a32a1aa14 100644 --- a/math/casadi/pkg-descr +++ b/math/casadi/pkg-descr @@ -1,7 +1,8 @@ -Rumur is a model checker, a formal verification tool for proving safety and -security properties of systems represented as state machines. It is based on a -previous tool, CMurphi, and intended to be close to a drop-in replacement. Rumur -takes the same input format as CMurphi, the Murphi modelling language, with some -extensions and generates a C program that implements a verifier. +CasADi is an open-source tool for nonlinear optimization and algorithmic +differentiation. -WWW: https://github.com/Smattr/rumur +It facilitates rapid, yet efficient, implementation of different methods for +numerical optimal control, both in an offline context and for nonlinear model +predictive control (NMPC). + +WWW: https://web.casadi.org/ |