Установка:
Для установки libbdd0c2 в Ubuntu / Linux Mint / Debian, введите в Терминал:
sudo apt update
sudo apt install libbdd0c2

Подробная информация о пакете:
Бинарная библиотека диаграмм решений (время выполнения)
-
Зависимости:
-
Библиотека GNU C: общие библиотеки
-
Библиотека поддержки GCC
-
Стандартная библиотека GNU GNU v3