Установка:
Для установки packup в Ubuntu / Linux Mint / Debian, введите в Терминал:
sudo apt update
sudo apt install packup
Подробная информация о пакете:
Решатель CUDF, основанный на псевдобулевых ограничениях
-
Зависимости:
-
Библиотека GNU C: общие библиотеки
-
Библиотека поддержки GCC
-
Многоточечная арифметическая библиотека
-
Арифметическая библиотека с несколькими значениями (привязки C++)
-
Решатель для псевдобулевых ограничений
-
Библиотека сжатия - время выполнения
-
libstdc++6