Package: acl2 (8.4dfsg-2) [debports]
Links for acl2
Debian Resources:
Download Source Package :
Not foundMaintainers:
External Resources:
- Homepage [www.cs.utexas.edu]
Similar packages:
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.1 (>= 2.29)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6.1-udeb
-
- dep: libgmp10 (>= 2:6.2.1+dfsg)
- Bibliotek til multipræcision i aritmetik
-
- dep: libreadline8 (>= 6.0)
- GNU bibliotekerne readline og history - kørselstid
-
- dep: libtirpc3 (>= 1.0.2)
- transportuafhængigt RPC-bibliotek
-
- 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: elpa-acl2
- Computational logik for Applicative Common Lisp - emacs-grænseflade
Download acl2
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| alpha (unofficial port) | 20,868.6 kB | 243,337.0 kB | [list of files] |