当前位置:天才代写 > tutorial > 其他教程 > JaCoP:Java约束编程求解器,可以执行MiniZinc模型

JaCoP:Java约束编程求解器,可以执行MiniZinc模型

2018-05-16 08:00 星期三 所属: 其他教程 浏览:766

本资源由 伯乐在线 – 刘立华 整理

jacop

JaCoP是一个Java约束编程(Constraint Programming、Constraint Programming)求解器,可以执行MiniZinc模型。

JaCoP主要聚焦于解决约束的问题。包括丰富的原语、逻辑和条件约束及全局约束。最重要的全局约束如下:

  • diff2
  • cumulative
  • alldifferent
  • gcc
  • 支持三种不同的顶尖方法扩展(extentional)与扩展冲突
  • among
  • element
  • circuit
  • knapsack
  • regular
  • netflow
  • geost
  • JaCoP求解器约束还包括可以执行MiniZinc模型的FlatZinc语言的前端。允许执行测试,用以对比不同求解器的结果。

    安装(maven)

    pom.xml文件中加入下列内容:

    123456     <dependency>        <groupId>org.jacop</groupId>        <artifactId>jacop</artifactId>        <version>4.3.0</version>    </dependency> 

    为了让maven找到JaCoP,需要添加如下内容到pom.xml文件:

    123456789101112131415     <repositories>        <repository>            <id>CSLTH</id>            <name>CS LTH maven repo</name>            <releases>                <enabled>true</enabled>            </releases>            <snapshots>                <enabled>true</enabled>                <updatePolicy>always</updatePolicy>            </snapshots>            <url>http://maven.cs.lth.se/content/repositories/public/</url>        </repository>    </repositories> 

    #p#分页标题#e#

    开发文档

  • 安装
  • 开源地址:http://github.com/radsz/jacop

    打赏支持我整理更多优质资源,谢谢!

    打赏编辑

    打赏支持我整理更多优质资源,谢谢!

    任选一种支付方式

    JaCoP:Java约束编程求解器,可以执行MiniZinc模型

    JaCoP:Java约束编程求解器,可以执行MiniZinc模型

     

      关键字:

    天才代写-代写联系方式