Abstract | ||
---|---|---|
Haydi (http://haydi.readthedocs.io) is a framework for generating discrete structures. It provides a way to define a structure from basic building blocks and then enumerate all elements, all non-isomorphic elements, or generate random elements in the structure. Haydi is designed as a tool for rapid prototyping. It is implemented as a pure Python package and supports execution in distributed environments. The goal of this paper is to give the overall picture of Haydi together with a formal definition for the case of generating canonical forms. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1007/978-3-319-90050-6_8 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
Combinatorial objects,Rapid prototyping,Canonical representation | Rapid prototyping,Programming language,Computer science,Formal description,Canonical form,Theoretical computer science,Python (programming language) | Conference |
Volume | ISSN | Citations |
10833 | 0302-9743 | 0 |
PageRank | References | Authors |
0.34 | 1 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Stanislav Böhm | 1 | 50 | 8.69 |
Jakub Beránek | 2 | 6 | 2.27 |
Martin Surkovský | 3 | 5 | 2.80 |