Paket: acl2 (8.3dfsg-2)
Rechenbetonte Logik für applikatives Common Lisp: Hauptprogramm
ACL2 ist sowohl eine Programmiersprache, mit der man Rechnersysteme modellieren kann, als auch ein Werkzeug, das Sie dabei unterstützt, Eigenschaften solcher Modelle zu beweisen.
Dieses Paket enthält das ACL2-Hauptprogramm.
Andere Pakete mit Bezug zu acl2
|
|
|
|
-
- dep: libc6 (>= 2.29)
- GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
-
- dep: libgmp10
- Mehrfachgenaue, arithmetische Bibliothek
-
- dep: libreadline8 (>= 6.0)
- GNU readline- und History-Bibliotheken, Laufzeitbibliotheken
-
- dep: libx11-6
- Clientseitige X11-Bibliothek
-
- rec: acl2-books
- Rechenbetonte Logik für applikatives Common Lisp: kompilierte Bibliotheken
-
- rec: acl2-source
- Rechenbetonte Logik für applikatives Common Lisp: Quelltextdateien
-
- sug: acl2-emacs
- Rechenbetonte Logik für applikatives Common Lisp: Emacs-Schnittstelle
acl2 herunterladen
Architektur | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|
amd64 | 20.977,8 kB | 243.183,0 kB | [Liste der Dateien] |