Установка:
Для установки acl2 в Ubuntu / Linux Mint / Debian, введите в Терминал:
Подробная информация о пакете:
Вычислительная логика для аппликативного общего Lisp: основной двоичный код
-
Зависимости:
-
Библиотека GNU C: общие библиотеки
-
Библиотека поддержки GCC
-
Многоточечная арифметическая библиотека
-
Библиотеки чтения и истории GNU, библиотеки времени выполнения
-
X11 клиентская библиотека