Balík: acl2 (8.3dfsg-2)

Odkazy pre acl2

Zdroje Debian:

Stiahnuť zdrojový balík acl2:

Správca:

Camm Maguire (Stránka QA)

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

knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb
dep: libgmp10

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

GNU knižnice readline a histórie, dynamické knižnice
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: acl2-emacs

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
armhf	18,140.7 kB	160,110.0 kB	[zoznam súborov]