The Pikafish developers (see AUTHORS file). Pikafish [Computer software]. https://github.com/official-pikafish/Pikafish