Haydi: Rapid Prototyping and Combinatorial Objects

TL;DR

Haydi is a Python framework that enables rapid prototyping and enumeration of discrete structures, supporting generation of all, non-isomorphic, or random elements, with applications in combinatorial object analysis.

Contribution

The paper introduces Haydi, a flexible Python tool for generating and analyzing combinatorial objects, including a formal approach for canonical form generation.

Findings

Supports enumeration of all structures and non-isomorphic variants

Enables distributed computation for large structures

Provides a formal foundation for canonical form generation

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.