Common Lisp Graph Tools 1-2-4
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/graph-tools/files/graph-tools/Version%201-2-4/graph-tools-1-2-4.zip/download
关于 Common Lisp Graph Tools
用于表示和操作图形的通用 Lisp 库。实现的算法:子图同构性(乌尔曼)、自构、规范化(Nauty)、连接组件/联合查找。
相关软件
-
HRMEdit 免费
用于查看和编辑由极心率监测器生成的 HRM 文件的应用程序(例如 S720i、S725X、S625X)。它提供了用于查找错误和手动更正示例的 GUI。
-
OpenAlgoViz 免费
算法可视化 (AV) 开发人员的一个重要工具是现有 AV(包括源代码)良好示例的存储库。此站点的目标是从 AV 社区中的各种开发人员构建 AV 实现集合。
-
Battery Meter NOS Carbon 免费
电池仪表 NOS 碳小部件在 2 大小!这不是你普通的电池电表小部件!这将显示一个碳NOS仪表,上升和下降的基础上,你的电池水平!点击NOS仪表,查看显示电池运行状况和活动的实时电池状态页面!从使用页面查看耗尽电池的是什么!
-
Flow-Based Programming 免费
基于流的编程:使用异步、可重用的组件网络进行应用程序开发,这些组件转换格式化的数据对象流。可视化、基于组件、方法和软件。
-
Advanced Task Cleaner 2.0 免费试用
清理正在运行的应用程序。卸载应用。让你的Android手机加快和节省电池!对于 Android 2.2 及以上用户-------------------------------------------在 Android 2.2(及以上)中,SDK 已更改,其中终止应用程序不会终止关联的服务和通知。因此,我们为 2.2 用户添加一些功能,如下所示:1.按应用程序项目,从弹出菜单中选择"结束任务"选项,如果你想杀死一个
-
Simple Calc 免费
"简单计算"是一个非常简单的计算器。我们尽可能省略了剩余函数。只能使用算术运算。您可以保存计算结果。(最多 5 个条目)您可以将按钮显示更改为"KANJI"。已测试操作的手机机器人连结一
-
Etnia Workbench 免费
CDT 项目 wich 的扩展配置额外的编译器和其他插件,使集成各种拼贴形式(实际上是德州仪器和 PIC 微处理器)
-
Open 4GL WebServices 免费
向导/过程和框架,便于将 PROGRESS 过程发布为生成 WSDL 和 WS 代码的 WebService,而无需开发人员学习 XML 或框架本身。部署代码有很多选择。
-
zjson 免费
zjson 是 JSON (http://json.org) 读者和作家在C++。它是跨平台,MS-Windows,Linux,Unix...API 类似于 JSONObject(在 java 中),因此非常容易使用。而且它非常有效。
-
UNB Theorem Prover? 免费
在 Java 中实现的自动定理证明器并使用子句树。 该软件将能够读取TPTP的数学定理,并证明或反驳它们。