Установка:

Для установки libbdd-dev в Ubuntu / Linux Mint / Debian, введите в Терминал:

sudo apt update
sudo apt install libbdd-dev
libbdd-dev — Бинарная библиотека схем принятия решений (разработка)

Подробная информация о пакете:

Бинарная библиотека схем принятия решений (разработка)

Бинарные диаграммы решений (BDD) — это пространственно-эффективные кодировки булевых выражений или динамических таблиц истинности, используемые, например. проверка модели. BuDDy — эффективная библиотека BDD со всеми стандартными операциями BDD, динамическое переупорядочение переменных, автоматическая сборка мусора, интерфейс C++ с автоматическим подсчетом ссылок и многое другое.

libbdd-dev — это пакет разработки BuDDy, содержащий статическую библиотеку и включающие файлы, необходимые для создания приложений с использованием BuDDy.

  • Зависимости:

  • libc6-dev

    Библиотека GNU C: библиотеки разработки и файлы заголовков

  • libbdd0c2

  • libc-dev