K 10 svn:author V 4 yuri K 8 svn:date V 27 2019-08-25T04:19:02.287445Z K 7 svn:log V 67 New port: math/casadi: Symbolic framework for numeric optimization END