diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2019-08-25 04:38:18 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2019-08-25 04:38:18 +0000 |
| commit | 1f1528fdb87c2efbfb851dfe4cd7304d9ffe07d1 (patch) | |
| tree | b5f8a4708e0ba154360e64899c9a3ec30af153be | |
| parent | New port: math/casadi: Symbolic framework for numeric optimization (diff) | |
math/casadi: Correct pkg-descr
Notes
Notes:
svn path=/head/; revision=509771
| -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/ |