Witness的优化功能是怎么使用的？

王琦 · 发表于 2013-6-7 16:21:08

在使用优化功能之前我们必须要知道我们要实现的目的是什么，然后根据目的定义函数，在设置一些边界条件，然后witness就可以自动优化出不同的结果

共 1 个关于本帖的回复最后回复于 2013-6-7 16:21

	B Color Image Link Quote Code Smilies 高级模式您需要登录后才可以回帖登录 \| 立即注册本版积分规则回帖后跳转到最后一页