海迪 swMATH ID: 24973 软件作者： 斯坦尼斯拉夫·博姆；雅库布省贝拉内克；什尔科夫斯克，马丁 描述： 海迪：快速原型和组合对象。海迪(http://haydi.readthedocs.io)是生成离散结构的框架。它提供了一种从基本构建块定义结构的方法，然后枚举所有元素、所有非同构元素或生成结构中的随机元素。Haydi被设计为一种快速原型工具。它是作为一个纯Python包实现的，支持在分布式环境中执行。本文的目的是给出海迪的全貌以及生成规范形式的形式定义。 主页： http://haydi.readthedocs.io/en/latest/ 关键词： 组合对象;快速原型制作;规范表示 相关软件： 蟒蛇;PGSolver公司;SageMath公司 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 海迪：快速原型和组合对象。 Zbl 1508.68008号斯坦尼斯拉夫·博姆;Jakub，Beránek;什尔科夫斯克，马丁 2018 3位作者引用 1 雅库布·贝拉内克 1 斯坦尼斯拉夫·博姆 1 什尔科夫斯克，马丁 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文