Установка:
Для установки depqbf в Ubuntu / Linux Mint / Debian, введите в Терминал:
sudo apt update
sudo apt install depqbf
Подробная информация о пакете:
Решатель для квантованных булевых формул
-
Зависимости:
-
Библиотека GNU C: общие библиотеки