1 资源

标签为 sat4j 的资源

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

    百焱 整理 1

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

    按分类快速查找

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