Подскажите есть-ли какя-нибуть либа под C/C++ для работы с булевой алгеброй (перевод в КНФ, ДКНФ, минимизация КНФ и т.д).
Подскажите есть-ли какя-нибуть либа под C/C++ для работы с булевой алгеброй (перевод в КНФ, ДКНФ, минимизация КНФ и т.д).
Ответ на:
комментарий
от anonymous
Ответ на:
комментарий
от TaranSergey