arXiv Open Access 2019

Haydi: Rapid Prototyping and Combinatorial Objects

Stanislav Böhm Jakub Beránek Martin Šurkovský

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.FL cs.DM

Penulis (3)

Stanislav Böhm

Jakub Beránek

Martin Šurkovský

Format Sitasi

APA MLA BibTeX

Böhm, S., Beránek, J., Šurkovský, M. (2019). Haydi: Rapid Prototyping and Combinatorial Objects. https://arxiv.org/abs/1909.12713

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2019
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓