[ Zdroj: acl2 ]
Balík: acl2 (8.0dfsg-1)
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.15)
- 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: libreadline7 (>= 6.0)
- GNU knižnice readline a histórie, dynamické knižnice
-
- dep: libx11-6
- klientská knižnica X11
-
- 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 |
---|---|---|---|
armhf | 15,796.7 kB | 152,365.0 kB | [zoznam súborov] |