间备注1约束求解器采购内容：约束求解软件采购项目基本情况表采购数量约束求解软件，1套具体的技术指标要求1.★需支持逻辑约束求解与数学规划求解功能；2.★逻辑约束求解需支持输入逻辑表达式（CNF格式）文件输入，并输出是否存在满足该逻辑约束的解；3.★数学规划求解需至少支持大规模线性规划、混合整数线性规划和二次规.
本招标项目仅供 正式会员查阅，您的权限不能浏览详细信息,请点击注册/登录，请联系工作人员办理入网升级。
联系人：宋扬
电话：010-88938205
手机：13522553979 (欢迎拨打手机/微信同号)
邮箱：songyang@zbytb.com
