套件：acl2（8.5dfsg-5）

[ 原始碼： acl2  ]

Computational Logic for Applicative Common Lisp: main binary

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

This package contains the base ACL2 binary.

標籤: 軟體開發: 直譯器, Lisp 開發, 領域: field::mathematics, implemented-in::lisp, 使用者介面: 命令行, interface::text-mode, role::program, 範圍: 實用程式, Interface Toolkit: uitoolkit::ncurses, works-with::software:source

其他與 acl2 有關的套件

• dep: libc6 (>= 2.34)

  GNU C 函式庫：共用函式庫
  同時作為一個虛擬套件由這些套件填實： libc6-udeb

• dep: libedit2 (>= 2.11-20080614-0)

  BSD editline and history libraries

• dep: libgcc-s1 (>= 3.0) [arm64]

  GCC 支援函式庫

• dep: libgmp10 (>= 2:6.2.1+dfsg1)

  Multiprecision arithmetic library

• dep: libtirpc3 (>= 1.0.2)

  transport-independent RPC library

• dep: libx11-6

  X11 client-side library

• rec: acl2-books

  Computational Logic for Applicative Common Lisp: compiled libraries

• rec: acl2-source

  Computational Logic for Applicative Common Lisp: source files

• sug: elpa-acl2

  Computational Logic for Applicative Common Lisp: emacs interface

下載 acl2

下載可用於所有硬體架構的

硬體架構	套件大小	安裝後大小	檔案
amd64	22，859。6 kB	246，032。0 kB	[檔案列表]
arm64	21，082。8 kB	238，264。0 kB	[檔案列表]
armel	18，617。8 kB	172，907。0 kB	[檔案列表]
armhf	19，126。1 kB	166，118。0 kB	[檔案列表]
i386	19，900。2 kB	167，641。0 kB	[檔案列表]
mips64el	20，119。7 kB	260，595。0 kB	[檔案列表]
mipsel	19，357。4 kB	172，866。0 kB	[檔案列表]
ppc64el	22，597。2 kB	322，883。0 kB	[檔案列表]
s390x	21，485。8 kB	235，288。0 kB	[檔案列表]