svn commit: r509771 - head/math/casadi

[Yuri Victorovich]

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/