[ Zdroj: acl2 ]
Balík: acl2 (8.3dfsg-2)
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.
Ostatné balíky súvisiace s balíkom acl2
|
|
|
|
-
- 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
Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|
mips64el | 18,811.6 kB | 243,102.0 kB | [zoznam súborov] |