Hinnerichs, T., Gardos Reid, R., de Jong, J., Swinkels, B., Wochner, P., Filat, N., Magurescu, T., Hanou, I., & Dumancic, S. Herb.jl [Computer software]. https://github.com/Herb-AI/Herb.jl