简介
Choco-solver 是一个用于约束满足问题(Constraint Satisfaction Problems)和约束规划(Constraint Programming)的 Java 库。 它建立在一个可回溯结构的,基于事件的传播机制上。 Choco-solver 随附:各种类型的变量(整数、... 更多
其它信息
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%