开源地址
https://gitee.com/mirrors/choco-solver授权协议
BSD
Choco-solver 是一个用于约束满足问题（CostraitSatisfactioProblems）和约束规划（CostraitProgrammig）的Java库。它建立在一个可回溯结构的,基于事件的传播机制上。
Choco-solver随附：各种类型的变量（整数、布尔值、集合、图和实数）各种最新的约束条件（所有不同、计数、值等）各种搜索策略，从基本的（first_fail、最小等）到最复杂的（基于影响和基于活动的搜索）基于说明的引擎，可实现基于冲突的回跳、动态回溯和路径修复。Choco-solver 是一个用于约束满足问题（Constraint Satisfaction Problems）和约束规划（Constraint Programming）的 Java 库。 ...
声明：本文仅代表作者观点，不代表本站立场。如果侵犯到您的合法权益，请联系我们删除侵权资源！如果遇到资源链接失效，请您通过评论或工单的方式通知管理员。未经允许，不得转载，本站所有资源文章禁止商业使用运营!
下载安装【程序员客栈】APP
实时对接需求、及时收发消息、丰富的开放项目需求、随时随地查看项目状态
评论