慧娴亚伦 发表于 2021-11-25 21:58 正式版可以使用优化器输入这些条件 至于模型,约束条件就是通过设置模型中各个环节的参数,目标函数就是你 ...
XZhen 发表于 2021-11-26 15:10 那怎么定义在所有机器和实体以及目标函数中都一样含义的变量呢?我之前只用过witness可以直接创建变量,f ...