作业帮 > 综合 > 作业

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

来源:学生作业帮 编辑:灵鹊做题网作业帮 分类:综合作业 时间:2024/04/27 22:45:59
怎样修改witness的最大元素个数
全英文版本,望能指明路径,
怎样修改witness的最大元素个数
这个可以修改吗?
如果可以,就不存在教育版了,lanner公司就不用生存了.虽然只能用15种元素,但witness中的每种元素你可以定义多个,比如machine 的quantity定义为10个后,你可以用machine(1),(2)标识来分别使用.
可惜的是教育版没有优化器.