Speaker
Dr
Stanislav Böhm
(IT4Innovations)
Description
We are introducing Haydi -- a Python tool for generating discrete structures. It provides an easy way to define a structure from basic building blocks (e.g. Cartesian product, mappings) and then enumerate all elements, all non-isomorphic elements, or generate random elements. It is designed to provide a tool for checking claims on small instances and for generating "interesting" instances of a given class. The resulting program can be executed without modifications as a distributed application on a cluster. We have used Salomon for profiling and optimization testing. The project was developed as part of project GAČR 15-13784S.
Primary author
Dr
Stanislav Böhm
(IT4Innovations)
Co-authors
Jakub Beránek
(VSB-TU Ostrava)
Martin Šurkovský
(VSB-TU Ostrava)
