4 资源

约束满足问题求解程序

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

    刘立华 整理 1

    JaCoP是一个Java约束编程求解器,可以执行MiniZinc模型。
    详细介绍 »

  • Sat4J:逻辑代数与优化问题最先进的求解程序

    百焱 整理 1

    Sat4j 是一个用来解决布尔可满足问题和最优化问题的工具库。它可以解决可满足问题、极大可满足问题、伪布尔问题、极小不可满足子集问题。
    详细介绍 »

  • OptaPlanner:业务规划与资源调度优化求解程序

    唐尤华 整理 1

    OptaPlanner是一个轻量级、可嵌入规划引擎,100%纯Java开发,可以方便地与其他Java技术结合。OptaPlanner支持业务资源优化,让企业在资源(员工、资产、时间、资金)有限的情况下为客户提供服务。OptaPlanner解决的案例包括车辆路径、雇员排班、云优化、任务调度、装箱问题等。
    详细介绍 »

  • Choco:可直接使用的约束满足问题求解程序,使用了约束规划技术

    唐尤华 整理 1

    Choco是一个开源免费的约束规划Java开发库。用户声明一组约束条件对问题进行建模,Choco通过调整约束过滤算法解决问题。
    详细介绍 »

    按分类快速查找

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