Balík: acl2 (8.6+dfsg-2)

Odkazy pre acl2

Zdroje Debian:

Stiahnuť zdrojový balík acl2:

Správca:

Camm Maguire (Stránka QA)

Externé zdroje:

Domovská stránka [www.cs.utexas.edu]

Podobné balíky:

Computational Logic for Applicative Common Lisp - hlavný binárny súbor

ACL2 je jednak programovací jazyk, v ktorom môžete modelovať počítačové systémy a jednak nástroj, ktorý vám pomôže dokázať vlastnosti týchto modelov.

Tento balík obsahuje základný binárny súbor ACL2.

Značky: Software Development: Interpreter, Lisp Development, Pole: field::mathematics, implemented-in::lisp, User Interface: Príkazový riadok, interface::text-mode, role::program, Scope: Utility, Sada nástrojov používateľského rozhrania: uitoolkit::ncurses, works-with::software:source

Ostatné balíky súvisiace s balíkom acl2

závisí

odporúča

navrhuje

vylepšuje

dep: libc6 (>= 2.38)

knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb
dep: libedit2 (>= 2.11-20080614-0)

knižnice BSD editline a history
dep: libgcc-s1 (>= 4.0) [arm64]

podporná knižnica GCC
dep: libgmp10 (>= 2:6.3.0+dfsg)

aritmetická knižnica s viacnásobnou presnosťou
dep: libtirpc3t64 (>= 1.0.2)

knižnica RPC nezávislá na transporte
dep: libx11-6

X11 client-side library

rec: acl2-books

Computational Logic for Applicative Common Lisp - skompilované knižnice
rec: acl2-source

Computational Logic for Applicative Common Lisp - zdrojový kód

sug: elpa-acl2

Computational Logic for Applicative Common Lisp - rozhranie pre Emacs

Stiahnuť acl2

Stiahnuť pre všetky dostupné architektúry
Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
amd64	36,035.7 kB	561,661.0 kB	[zoznam súborov]
arm64	35,752.9 kB	557,540.0 kB	[zoznam súborov]
armel	37,032.9 kB	508,393.0 kB	[zoznam súborov]
armhf	37,445.2 kB	506,356.0 kB	[zoznam súborov]
i386	39,728.2 kB	518,663.0 kB	[zoznam súborov]
ppc64el	36,319.6 kB	567,776.0 kB	[zoznam súborov]
riscv64	36,285.7 kB	555,644.0 kB	[zoznam súborov]
s390x	38,917.2 kB	547,418.0 kB	[zoznam súborov]