文件名称：Athena_LibDDDAS:该存储库包含Athena库的扩展，用于推理动态数据驱动的应用程序系统的属性
文件大小：210KB
文件格式：ZIP
更新时间：2024-05-08 05:44:03
雅典娜_LibDDDAS 该存储库包含Athena证明库的扩展，用于推理动态数据驱动的应用程序系统的更高级别的属性。 雅典娜资源： 有关ATHENA的更多信息，请参阅MIT出版社Konstantine Arkoudas和David Musser所著的《 的 》一书 注意：此库正在开发中，许多模块当前可能只是存根 免责声明： 版权所有:copyright:2020 WCL 特此免费授予获得该软件和相关文档文件（“软件”）副本的任何人无限制使用本软件的权利，包括但不限于使用，复制，修改，合并的权利，发布，分发，再许可和/或出售本软件的副本，并允许具备软件的人员这样做，但须满足以下条件： 以上版权声明和此许可声明应包含在本软件的所有副本或大部分内容中。 本软件按“原样”提供，不提供任何形式的明示或暗示担保，包括但不限于对适销性，特定目的的适用性和非侵权性的担保。 无论是由于软件，使用或其他方式产生的，与之有
【文件预览】：
Athena_LibDDDAS-master
----v0.0()
--------consensus()
--------hierarchy-config.txt(53B)
--------math()
--------root_hierarchy.svg(12KB)
--------README.md(3KB)
--------nmac()
--------network()
----v0.1()
--------consensus()
--------propagation()
--------hierarchy-config.txt(529B)
--------math()
--------root_hierarchy.svg(18KB)
--------README.md(3KB)
--------nmac()
--------network()
----README.md(2KB)