Установка: Для установки libcvc3-5v5 в Ubuntu / Linux Mint, введите в Терминал: sudo apt update sudo apt install libcvc3-5v5 Настроить APT Настроить команду APT Выберите действие: Установить Переустановить Удалить пакет Удалить пакет со всеми настройками Дополнительные опции: Автоподтверждение действий [-y] Исправить зависимости пакета [-f] Установить только обязательные пакеты [--no-install-recommends] Копировать Сбросить Подробная информация о пакете: Автоматическая библиотека теоретических ошибок для задач SMT http://www.cs.nyu.edu/acsys/cvc3/ Май 2020 Источник: packages.ubuntu.com Навигация по записям libcvc4-4libcvc4-4libcvc0libcvc0 Зависимости: libc6 Библиотека GNU C: общие библиотеки libgcc1 Библиотека поддержки GCC libstdc++6 Открыть список
