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

