GitHub repository: karkin-ai/iu9.diploma
Primary language: Java
Created: 2019-05-20T18:16:17Z
Description: Дипломный проект на кафедре ИУ9 (бакалавриат) на тему "Составление расписания занятий в университете с помощью SMT-солвера"