Tollander de Balsch, J. (2021). jaantollander/LockPatternComplexity.jl (Version 0.0.0) [Computer software]. https://doi.org/10.5281/zenodo.5758608