Pikafish - The Pikafish developers (see AUTHORS file)