小松 发表于 2013-6-7 15:07:38

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

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

在使用优化功能之前我们必须要知道我们要实现的目的是什么，然后根据目的定义函数，在设置一些边界条件，然后witness就可以自动优化出不同的结果
页: [1]
查看完整版本: Witness的优化功能是怎么使用的？