svn commit: r509771 - head/math/casadi
Yuri Victorovich
yuri at FreeBSD.org
Sun Aug 25 04:38:19 UTC 2019
Author: yuri
Date: Sun Aug 25 04:38:18 2019
New Revision: 509771
URL: https://svnweb.freebsd.org/changeset/ports/509771
Log:
math/casadi: Correct pkg-descr
Modified:
head/math/casadi/pkg-descr
Modified: head/math/casadi/pkg-descr
==============================================================================
--- head/math/casadi/pkg-descr Sun Aug 25 04:19:02 2019 (r509770)
+++ head/math/casadi/pkg-descr Sun Aug 25 04:38:18 2019 (r509771)
@@ -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/
More information about the svn-ports-head
mailing list