3 Курс(08.10.22). Библиотека для работы с логикой высказываний. Для лабораторных работ по теории алгоритмов.