Package: acl2 (8.6+dfsg-3)

Links for acl2

Debian Resources:

Download Source Package acl2:

Maintainer:

Camm Maguire (QA Page)

External Resources:

Homepage [www.cs.utexas.edu]

Similar packages:

Beregningslogik for Applicative Common Lisp - hoved binær fil

ACL2 er både et programmeringssprog hvori du kan modellere computersystemer og et værktøj til at hjælpe med at bevise egenskaber for disse modeller.

Denne pakke indeholder den grundlæggende ACL2-binære fil.

Tags: Software Development: Interpreter, Lisp Development, Field: field::mathematics, implemented-in::lisp, User Interface: Command Line, interface::text-mode, role::program, Scope: Utility, Interface Toolkit: uitoolkit::ncurses, works-with::software:source

Other Packages Related to acl2

depends

recommends

suggests

enhances

dep: libc6 (>= 2.38)

GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
dep: libedit2 (>= 2.11-20080614-0)

BSD-redigeringslinje og historikbiblioteker
dep: libgcc-s1 (>= 4.0) [arm64]

GCC støttebibliotek
dep: libgmp10 (>= 2:6.3.0+dfsg)

Bibliotek til multipræcision i aritmetik
dep: libtirpc3t64 (>= 1.0.2)

transportuafhængigt RPC-bibliotek
dep: libx11-6

X11 klientside bibliotek

rec: acl2-books

Computational logik for Applicative Common Lisp - kompilerede biblioteker
rec: acl2-source

Computational logik for Applicative Common Lisp - kildefiler

sug: elpa-acl2

Computational logik for Applicative Common Lisp - emacs-grænseflade

Download acl2

Download for all available architectures
Architecture	Package Size	Installed Size	Files
amd64	36,294.6 kB	561,657.0 kB	[list of files]
arm64	37,324.5 kB	590,314.0 kB	[list of files]
armhf	39,118.1 kB	506,342.0 kB	[list of files]
i386	40,123.7 kB	516,619.0 kB	[list of files]
ppc64el	36,215.1 kB	567,771.0 kB	[list of files]
riscv64	36,238.3 kB	555,638.0 kB	[list of files]
s390x	38,790.4 kB	547,416.0 kB	[list of files]