GitHub repository: Denial-Derman/KH-37-4_Project_SAT-problem
Primary language: C++
Created: 2024-10-28T09:28:26Z
Description: Проєкт з дисципліни Алгоритми та бази даних, на тему "Зада́ча здійсне́нності булевих фо́рмул (SAT (satisfiability) problem)"