[ Source: acl2 ]
Package: acl2 (8.3dfsg-2)
Beregningslogik for Applicative Common Lisp - hoved binær fil
ACL2 er både et programmeringssprog hvori du kan modellere computersystemer og et værktøj til at hjælpe med at bevise egenskaber for disse modeller.
Denne pakke indeholder den grundlæggende ACL2-binære fil.
Other Packages Related to acl2
|
|
|
|
-
- dep: libc6 (>= 2.29)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libgmp10
- Bibliotek til multipræcision i aritmetik
-
- dep: libreadline8 (>= 6.0)
- GNU bibliotekerne readline og history - kørselstid
-
- dep: libx11-6
- X11 klientside bibliotek
-
- rec: acl2-books
- Computational logik for Applicative Common Lisp - kompilerede biblioteker
-
- rec: acl2-source
- Computational logik for Applicative Common Lisp - kildefiler
-
- sug: acl2-emacs
- Computational logik for Applicative Common Lisp - emacs-grænseflade
Download acl2
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
i386 | 19,030.4 kB | 164,757.0 kB | [list of files] |