Сервер автоматичної перевірки завдань з програмування.