搜索资源列表

  1. SAT4J_JAVA

    0下载：
  2. Java版的SAT求解器，基于miniSAT-Java version of the SAT solver, based on miniSAT

  3. 所属分类：其他小程序

    • 发布日期：2024-11-26
    • 文件大小：2.53mb
    • 提供者：baixi

  1. sat4j-core-v20130525

    0下载：
  2. sat4j的核心包,在eclipse之下可以用于解决SAT问题。-sat4j core packages, under the eclipse can be used to solve SAT problem.

  3. 所属分类：人工智能/神经网络/遗传算法

    • 发布日期：2024-11-26
    • 文件大小：647kb
    • 提供者：kenny

  1. sat4j-csp-v20130419

    0下载：
  2. sat4j的CSP求解库，可用于解决CSP问题，做为java的一个类库支持-sat4j of CSP solving library that can be used to solve CSP problems as a java class library support

  3. 所属分类：人工智能/神经网络/遗传算法

    • 发布日期：2024-11-26
    • 文件大小：1.52mb
    • 提供者：kenny

  1. sat4j-maxsat-v20130525

    0下载：
  2. sat4j的maxtsat求解库，可用于解决MAXsat问题，在eclipse下可以直接设置-The maxtsat sat4j solving library that can be used to solve MAXsat problems can be directly set in eclipse

  3. 所属分类：人工智能/神经网络/遗传算法

    • 发布日期：2024-11-26
    • 文件大小：593kb
    • 提供者：kenny

源码中国 www.ymcn.org