[  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)
    библиотека GNU C: динамически подключаемые библиотеки
  • 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

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
m68k 15 461,3 Кб50560 Кб [список файлов]