Date: Sun, 25 Aug 2019 04:38:18 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r509771 - head/math/casadi Message-ID: <201908250438.x7P4cIiQ094275@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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/
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201908250438.x7P4cIiQ094275>