Установка: Для установки aspcud в Ubuntu / Linux Mint / Debian, введите в Терминал: sudo apt update sudo apt install aspcud Настроить APT Настроить команду APT Выберите действие: Установить Переустановить Удалить пакет Удалить пакет со всеми настройками Дополнительные опции: Автоподтверждение действий [-y] Исправить зависимости пакета [-f] Установить только обязательные пакеты [--no-install-recommends] Копировать Сбросить Подробная информация о пакете: Решатель CUDF на основе программирования набора ответов http://www.cs.uni-potsdam.de/wv/aspcud/ Октябрь 2018 Источник: packages.ubuntu.com Навигация по записям asqlasqlarray-infoarray-info Зависимости: clasp Решающий набор ответов на конфликт gringo Средства заземления для (дизъюнктивных) логических программ libc6 Библиотека GNU C: общие библиотеки libgcc1 Библиотека поддержки GCC libstdc++6 Открыть список
