Choco-solver用于约束编程的开源 Java 库

联合创作 · 2023-09-30 16:40

Choco-solver 是一个用于约束满足问题(Constraint Satisfaction Problems)和约束规划(Constraint Programming)的 Java 库。 它建立在一个可回溯结构的,基于事件的传播机制上。  

Choco-solver 随附:

  • 各种类型的变量(整数、布尔值、集合、图和实数)
  • 各种最新的约束条件(所有不同、计数、n 值等)
  • 各种搜索策略,从基本的(first_fail、最小等)到最复杂的(基于影响和基于活动的搜索)
  • 基于说明的引擎,可实现基于冲突的回跳、动态回溯和路径修复。
浏览 6
点赞
评论
收藏
分享

手机扫一扫分享

编辑 分享
举报
评论
图片
表情
推荐
点赞
评论
收藏
分享

手机扫一扫分享

编辑 分享
举报