BuddyScout 0.3
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/buddyscout/files/buddyscout/BuddyScout%200.3/BuddyScout-0.3.tar.gz/download
关于 BuddyScout
BuddyScout 是 BuDdy(二进制决策图库)和 GHC(格拉斯哥哈斯克尔编译器)之间的接口。它使您能够从 Haskell 程序内使用 BDD 库。
相关软件
-
DTM Data Generator for JSON 免费试用
JSON 的 DTM 数据生成器是一种以批量方式生成测试 JSON 文档和 BSON 文件的工具。对于处理 JSON 数据文件的任何开发人员或 QA 工程师,它必须具有工具。数据生成器提供数十个内置数据生成器:地址、电话、电子邮件、名字和姓氏、公司名称、职位。等。值库包含大量预定义的数据集:国家/地区、货币等。它使数据更真实。此外,还提供基于内置数据生成语言的自定义生成器。发电机支持自动化模式,可以在无人值守模式下或在调度程序下执行。
-
NCommon 免费
此项目旨在创建一个类库,用于响应常见的编程任务,如 :应用程序活动日志记录、本地化和自动更新。
-
Evolution of Artificial Neural Networks 免费
我们实验了人工神经网络的演化,结合了进化计算和 ANN 这两个领域。我们的方法应用于各种有趣的问题。要了解更多信息,请单击"主页"、"邮件"或"文件"。
-
httptrace 免费
httptrace - TCP/HTTP 跟踪实用程序(用于 Java 或 Win32/jview.exe)侦听 TCP/IP 端口,将数据重定向到另一个端口并写入跟踪。几个选项(搜索模式,...)。
-
CVS Shell Extension 免费
此外壳扩展将 CVS 版本控制系统集成到 Windows 资源管理器中。它提供有关源代码管理的文件的状态指示器、额外列、属性页和其他类型的信息。
-
Siege (A J2EE tool suite) 免费
围攻是一个 J2EE 工具套件,可加快 EJB/Web 应用程序的开发和部署。围攻目前正在开发和测试使用JBoss容器。
-
Ping2Locate Lite 免费试用
永远不要再失去你的安卓手机!只需通过文本/短信发送密钥短语,通过文本获取设备的位置。也用于跟踪停放的车辆。最近更改:1. 此生成中分离的社交和高级功能2. 已删除重复的 ping 响应。当用户向跟踪设备发送 ping 时,只返回一个响应。3. 轻松的用户界面添加轨道的 ping 响应的收件人。不止一个人盯着停着的车尝试 Ping2Locate 社交功能将您的位置发布给朋友/家人。尝试 Ping2Locate Pro
-
Session Java 免费
会话 Java 是 Java 的扩展,它提供了允许在编译时对会话进行类型检查的功能。会话使用 Web 服务描述语言 (WSDL) 定义,并基于 Pi 微积分中的会话进行建模。
-
AArtsProjetIA 免费
人工智能(人工智能)项目。基于神经元网络,但不只是神经元使用。艺术生活也是。身体和大脑相连。自然选择(达尔文)。真实世界模拟。全部是网络 \> 群集或Seti@home。用户可以懒洋洋的
-
GraphAnalyze 免费
帮助与 Vernier 的图形分析和记录器 Pro 软件兼容。包括一个转换器,用于从 Vernier .ga3 和 .cmbl 数据文件中提取重要数据,以及用于使用表格、图形和曲线拟合分析数据的电子表格。