怎样修改witness的最大元素个数

来源：百度知道 编辑：UC知道 时间：2024/05/21 17:23:16
全英文版本，望能指明路径，谢谢！！

这个可以修改吗?
如果可以,就不存在教育版了,lanner公司就不用生存了.虽然只能用15种元素,但witness中的每种元素你可以定义多个,比如machine 的quantity定义为10个后,你可以用machine(1),(2)标识来分别使用.
可惜的是教育版没有优化器.呵呵.

我的是专业版。。
哈哈。。