MiniSat и ВИШ РЛ: Лекция1 - Введение. Задачи и роли в команде

Конструктор MiniSat для регулярной лиги воздушно-инженерной школы (ВИШ). Лекция 1 - Что такое ВИШ, задачи регулярной лиги, роли в команде, что такое конструктор