31 citations · 79 across the 6 of their papers we have counts for
1 paper · 1 filter
Stanislav Böhm, Jakub Beránek, Martin Šurkovský
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 ele…