![](/statics/img/blank.png)
Dolphin Project 0.1.1
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/dolphin-project/files/Dolphin%20SAT/Dolphin%20SAT%200.1.1/dsat-0.1.1.tar.gz/download
关于 Dolphin Project
Dolphin 项目旨在成为一个研究项目,用于聚合与开源可伸缩性解算器相关的工具,以及与它们相关的工具,如边界模型检查器和软件验证器。
相关软件
-
Object Kernel and RunTime Library 免费
这是一个很小的教育库:像对象,快速内存分配器,网络马歇尔/unmarshall,动态模块,调试,快速和肮脏的双向链接之间的对象和mozilla javascript或python对象,...和高度便携!
-
College StatsPac Calculator 免费
期待的不仅仅是图形!- 全额退款,24小时,如果不满意的应用程序!^_^!-综合统计 -- 带完整图形包 -StatsPac 提供:8 离散概率函数,7 连续概率函数,1 和 2 样本置信区间,1 和 2 样本假设测试,带 T 检验的回归分析,ANOVA动态列表、因子列表、nCr、nPr、定义、公式、动态直方图和框图单词提示,屏幕上的帮助,教程视频,公式和更多。我们不断更新和改进我们的 AP
-
TOEIC () 600 免费
Logitalk (倾听) - (TOEIC) 600.(听) 。 .'TOEIC () 600 ' 600 ..脚本。洛吉塔克? , , .
-
UniquePrimer 免费
用于批量设计唯一 PCR 底项的简单 python 命令行脚本。底图使用 Primer3 进行设计,并针对自定义数据库(例如基因组)进行爆破。仅返回具有单个匹配的唯一底项。
-
A Prosperous Way Down 免费试用
科罗拉多大学出版社出版的《繁荣之路》立即购买此无 DRM 电子书!由阿尔迪科提供动力。"繁荣之路"考虑了一个矿物燃料较少的未来可以和平与繁荣的方式,包括建立一个更公平和更合作的世界社会的建议。
-
DICOM Confidential 免费
DICOM 机密项目开发一个开源 DICOM(医学中的数字成像和通信)去识别工具包,该工具包提供了必要的灵活性,可以满足不同的去识别要求。
-
MPVS 免费
实用工具,帮助学生深刻理解基于规范、循环不变量和分解为子问题的经典编程方法。
-
DuMP3 - duplicate & similar file finder 免费
DuMP3 是一个重复且类似的文件查找器。它通过哈希查找精确重复的二进制文件,通过子字符串内容查找类似的文本文件,通过波数据按颜色和音频文件(MP3、WAV、OGG 等)查找图像(JPG、BMP、GIF、PNG 等)。未来:字体,视频。
-
AU FLUKA Tools 免费
为蒙特卡罗粒子运输代码 FLUKA (www.fluka.org) 提供辅助工具。
-
STAS Software 免费
STASS代表声音处理、分析和合成软件。它将为声音分析(光谱、索纳等)、处理(滤波器、噪声门)和合成(Sepstrum)提供易于使用的内化器和搜索器以及执行工具。