为便于供应商了解采购信息，根据《物资服务集中采购需求管理暂行办法》等有关规定，现将智能无人平台操控练习因果分析插件的采购意向公开如下：序号采购项目名称需求概况初步技术参数预算金额(万元)预计采购时间备注1约束求解器采购内容：约束求解软件采购项目基本情况表采购数量约束求解软件，1套具体的技术指标要求1.★需支持逻辑约束求解与数学规划求解功能；2.★逻辑约束求解需支持输入逻辑表达式（CNF格式）文件输入，并输出是否存在满足该逻辑约束的解；3.★数学规划求解需至少支持大规模线性规划、混合整数线性规划和二次规划问题的快速求解；4.★数学规划求解需至少支持C++、python和matlab编程语言；5....