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

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

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文件中加入下列内容：

<br />
    &lt;dependency&gt;<br />
        &lt;groupId&gt;org.jacop&lt;/groupId&gt;<br />
        &lt;artifactId&gt;jacop&lt;/artifactId&gt;<br />
        &lt;version&gt;4.3.0&lt;/version&gt;<br />
    &lt;/dependency&gt;<br />

123456

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

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

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

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模型

安装（maven）

开发文档

打赏支持我整理更多优质资源，谢谢！

关键字：