最近更新┆推荐软件┆热门软件 兵器玩家┆设为首页┆加入收藏┆登录┆注册
　　　　　　　　　　　　　






您当前位置：兵器玩家 → 软件下载 → 科技软件 → Azucar的0.2.4_Azucar 0.2.4下载

Azucar的0.2.4_Azucar 0.2.4

论坛转帖 　　　 用户评论

运行环境：WinXP/Win7/Win8/Win10/Win All
软件语言：简体中文
软件类型：国产软件 - 科技软件
授权方式：共享版
软件大小：529 KB
推荐星级：
解压密码：
联系方式：暂无联系方式
插件情况：
图片预览： 　没有预览图片
更新时间：2013-02-25 18:16:00
下载统计：

  • 好的评价　如果您觉得好，就请您
      100%(25)
  • 差的评价　如果您觉得差，就请您
      0%(0)

Azucar的0.2.4_Azucar 0.2.4下载地址

Azucar的0.2.4_Azucar 0.2.4下载

Azucar的0.2.4_Azucar 0.2.4软件简介

最新发布的相关软件：
  • Azucar的0.2.4_Azucar 0.2.4


    • 为解决电信运营商通过使用基于SAT-

    工具。

    Azucar的是一个约束满足问题求解器，是基于布尔可满足性方法。应用程序可以解决有限的非线性约束满足问题，约束最优化问题和Max-CSP整数。

    它采用了紧凑的神器出山:www.shenqi73.com顺序表示每个整数的编码方法，使用的数字系统。

    要求：

    ·的Java J2SE 5或6
    ·Perl版本5
    ·SAT求解

    此版本中的新功能：

    ·Bug修复：Azucar的与“编码OE”选项，可以解决非线性CSP。
    ·添加一个参考的一个工具，演示文稿文件。


    最新发布的相关软件：
  • Azucar的0.2.4_Azucar 0.2.4

    • 上一个软件：双人计算器_Twin Calculator

    下一个软件：GA序列发生器1.1.2_GA sequences generator 1.1.2

    Azucar的0.2.4_Azucar 0.2.4下载地址

    Azucar的0.2.4_Azucar 0.2.4下载
    广告赞助

    随便看看

    网友评论

    共有 0 位网友发表了评论，得分 0 分，平均 0 分    查看完整评论

    栏目导航
    相关软件下载