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

jacop

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

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

  • diff2
  • cumulative
  • alldifferent
  • gcc
  • 支持三种不同的顶尖方法扩展(extentional)与扩展冲突
  • among
  • element
  • circuit
  • knapsack
  • regular
  • netflow
  • geost

JaCoP求解器约束还包括可以执行MiniZinc模型的FlatZinc语言的前端。允许执行测试,用以对比不同求解器的结果。

安装(maven)

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

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

开发文档

开源地址:https://github.com/radsz/jacop

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

打赏编辑

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

任选一种支付方式

1 收藏

资源整理者简介:刘立华

java开发,技术爱好者,乐于助人。 个人主页 · 贡献了32个资源 · 1 ·  


直接登录

推荐关注

按分类快速查找

关于资源导航
  • 伯乐在线资源导航收录优秀的工具资源。内容覆盖开发、设计、产品和管理等IT互联网行业相关的领域。目前已经收录 1438 项工具资源。
    推送伯乐头条热点内容微信号:jobbole 分享干货的技术类微信号:iProgrammer