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