[  etch  ] [  etch-m68k  ] [  squeeze  ] [  sid  ]
[ Источник: acl2  ]

Пакет: acl2 (3.1-1)

вычислительная логика для прикладного Common Lisp: главные файлы

ACL2 -- это одновременно язык программирования, на котором вы можете моделировать компьютерные системы, и инструмент, помогающий доказывать свойства таких моделей.

Этот пакет содержит основные запускаемые файлы ACL2.

Теги: Разработка программного обеспечения: Интерпретатор, Разработка на Lisp, Область: Математика, Реализовано на: Lisp, Пользовательский интерфейс: Интерактивный, на основе вводимого текста, Роль: Программа, Область: Утилита, Инструментарий интерфейса: Ncurses TUI, Работает с: Исходный код

Другие пакеты, относящиеся к acl2

  • зависимости
  • рекомендации
  • предложения
  • dep: libc6 (>= 2.3.5-1) [не alpha, ia64]
    библиотека GNU C: динамически подключаемые библиотеки
    также виртуальный пакет, предоставляемый libc6-udeb
  • dep: libc6.1 (>= 2.3.5-1) [alpha, ia64]
    библиотека GNU C: динамически подключаемые библиотеки
    также виртуальный пакет, предоставляемый libc6.1-udeb
  • dep: libgmp3c2
    Multiprecision arithmetic library
  • dep: libice6 (>= 1:1.0.0)
    X11 Inter-Client Exchange library
  • dep: libncurses5 (>= 5.4-5)
    Shared libraries for terminal handling
  • dep: libreadline5 (>= 5.2)
    Библиотеки GNU readline и history, выполняемые библиотеки
  • dep: libsm6
    X11 Session Management library
  • dep: libx11-6
    X11 client-side library
  • dep: libxaw7
    X11 Athena Widget library
  • dep: libxext6
    X11 miscellaneous extension library
  • dep: libxmu6
    X11 miscellaneous utility library
  • dep: libxt6
    X11 toolkit intrinsics library
  • rec: acl2-books
    A Computational Logic for Applicative Common Lisp: compiled libraries
  • rec: acl2-source
    A Computational Logic for Applicative Common Lisp: source files
  • sug: acl2-emacs
    A Computational Logic for Applicative Common Lisp: emacs interface

Загрузка acl2

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
alpha 16 159,1 Кб82964 Кб [список файлов]
amd64 18 088,6 Кб86800 Кб [список файлов]
arm 16 381,2 Кб52336 Кб [список файлов]
hppa 15 758,2 Кб53340 Кб [список файлов]
i386 15 835,4 Кб51748 Кб [список файлов]
ia64 17 190,3 Кб92492 Кб [список файлов]
mips 15 421,3 Кб48160 Кб [список файлов]
mipsel 14 623,7 Кб48164 Кб [список файлов]
powerpc 17 452,5 Кб62664 Кб [список файлов]
s390 16 602,5 Кб53136 Кб [список файлов]
sparc 17 076,4 Кб59180 Кб [список файлов]