BDD Репозиторий с курсовой работой по решению задач с использованием решающих бинарных диаграмм по дисциплине математическая логика и теория алгоритмов.