[ Source: acl2 ]
Package: acl2 (8.3dfsg-2)
logica computazionale per Applicative Common Lisp: binari principali
ACL2 è sia un linguaggio di programmazione con cui modellare sistemi di calcolo sia uno strumento per convalidare le proprietà di questi modelli.
Questo pacchetto contiene il binario principale di ACL2.
Other Packages Related to acl2
|
|
|
|
-
- dep: libc6 (>= 2.29)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libgmp10
- libreria aritmetica a precisione multipla
-
- dep: libreadline8 (>= 6.0)
- librerie GNU readline ed history, librerie eseguibili
-
- dep: libx11-6
- libreria X11 lato client
-
- rec: acl2-books
- logica computazionale per Applicative Common Lisp: librerie compilate
-
- rec: acl2-source
- logica computazionale per Applicative Common Lisp: file dei sorgenti
-
- sug: acl2-emacs
- logica computazionale per Applicative Common Lisp: interfaccia Emacs
Download acl2
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
mips64el | 18,811.6 kB | 243,102.0 kB | [list of files] |