Balík: acl2 (8.5dfsg-5)

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.34)

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 (>= 3.0) [arm64]

podporná knižnica GCC
dep: libgmp10 (>= 2:6.2.1+dfsg1)

aritmetická knižnica s viacnásobnou presnosťou
dep: libtirpc3 (>= 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	22,859.6 kB	246,032.0 kB	[zoznam súborov]
arm64	21,082.8 kB	238,264.0 kB	[zoznam súborov]
armel	18,617.8 kB	172,907.0 kB	[zoznam súborov]
armhf	19,126.1 kB	166,118.0 kB	[zoznam súborov]
i386	19,900.2 kB	167,641.0 kB	[zoznam súborov]
mips64el	20,119.7 kB	260,595.0 kB	[zoznam súborov]
mipsel	19,357.4 kB	172,866.0 kB	[zoznam súborov]
ppc64el	22,597.2 kB	322,883.0 kB	[zoznam súborov]
s390x	21,485.8 kB	235,288.0 kB	[zoznam súborov]