[  sarge  ] [  etch  ] [  etch-m68k  ] [  lenny  ] [  sid  ]
[ Quellcode: acl2  ]

Paket: acl2 (3.1-1)

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.

Markierungen: Software-Entwicklung: Interpreter, Lisp-Entwicklung, Feld: Mathematik, Implementiert in: Lisp, Benutzer-Schnittstellen: Text-basiert interaktiv, Rolle: Programm, Scope: Hilfswerkzeug, Interface Toolkit: Ncurses TUI, Arbeitet mit: Quellcode

Andere Pakete mit Bezug zu acl2

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • dep: libc6 (>= 2.3.5-1) [nicht alpha, ia64]
    GNU C-Bibliothek: Dynamische Bibliotheken
    auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
  • dep: libc6.1 (>= 2.3.5-1) [alpha, ia64]
    GNU C-Bibliothek: Dynamische Bibliotheken
    auch ein virtuelles Paket, bereitgestellt durch libc6.1-udeb
  • dep: libgmp3c2
    Mehrfachgenaue, arithmetische Bibliothek
  • dep: libice6 (>= 1:1.0.0)
    X11-Bibliothek für die Kommunikation zwischen Clients
  • dep: libncurses5 (>= 5.4-5)
    Gemeinsam benutzte Bibliotheken für Terminalverarbeitung
  • dep: libreadline5 (>= 5.2)
    GNU readline- und History-Bibliotheken, Laufzeitbibliotheken
  • dep: libsm6
    X11 Session Management library
  • dep: libx11-6
    Clientseitige X11-Bibliothek
  • dep: libxaw7
    X11 Athena Widget library
  • dep: libxext6
    X11 Bibliothek für verschiedene Erweiterungen
  • dep: libxmu6
    X11 miscellaneous utility library
  • dep: libxt6
    X11 toolkit intrinsics library
  • rec: acl2-books
    Rechenbetonte Logik für applikatives Common Lisp: kompilierte Bibliotheken
  • rec: acl2-source
    Rechenbetonte Logik für applikatives Common Lisp: Quelltext-Dateien
  • sug: acl2-emacs
    Rechenbetonte Logik für applikatives Common Lisp: Emacs-Schnittstelle

acl2 herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
alpha 16 159,1 kB82964 kB [Liste der Dateien]
amd64 18 088,6 kB86800 kB [Liste der Dateien]
arm 16 381,2 kB52336 kB [Liste der Dateien]
hppa 15 758,2 kB53340 kB [Liste der Dateien]
i386 15 835,4 kB51748 kB [Liste der Dateien]
ia64 17 190,3 kB92492 kB [Liste der Dateien]
mips 15 421,3 kB48160 kB [Liste der Dateien]
mipsel 14 623,7 kB48164 kB [Liste der Dateien]
powerpc 17 452,5 kB62664 kB [Liste der Dateien]
s390 16 602,5 kB53136 kB [Liste der Dateien]
sparc 17 076,4 kB59180 kB [Liste der Dateien]