sr.comp (pypi): Reliable software for running robotics competitions
Keywords: srcomp