A semi-automated online judge for olympiad-style programming contest training.