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

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,294.6 kB	561,657.0 kB	[zoznam súborov]
arm64	37,324.5 kB	590,314.0 kB	[zoznam súborov]
armhf	39,118.1 kB	506,342.0 kB	[zoznam súborov]
i386	40,123.7 kB	516,619.0 kB	[zoznam súborov]
ppc64el	36,215.1 kB	567,771.0 kB	[zoznam súborov]
riscv64	36,238.3 kB	555,638.0 kB	[zoznam súborov]
s390x	38,790.4 kB	547,416.0 kB	[zoznam súborov]