lingo17 OSX，64位，官网下载。线性规划，非线性规划，整数规划。