[  etch  ] [  etch-m68k  ] [  squeeze  ] [  sid  ]
[ Quellcode: acl2  ]

Paket: acl2 (3.4-2 und andere)

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, Zweck: Hilfswerkzeug, GUI-Baukasten: Ncurses TUI, Arbeitet mit: Quellcode

Andere Pakete mit Bezug zu acl2

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • dep: libc6 (>= 2.3) [amd64, hppa]
    GNU C-Bibliothek: Dynamische Bibliotheken
    auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
    dep: libc6 (>= 2.3.5-1) [m68k]
    dep: libc6 (>= 2.6) [sparc]
    dep: libc6 (>= 2.7-1) [armel, i386, mips, mipsel, powerpc, s390]
  • dep: libc6.1 (>= 2.3) [ia64]
    GNU C-Bibliothek: Dynamische Bibliotheken
    auch ein virtuelles Paket, bereitgestellt durch libc6.1-udeb
    dep: libc6.1 (>= 2.7-1) [alpha]
  • dep: libgcc1 (>= 1:4.3) [armel]
    GCC Support-Bibliothek
  • dep: libgmp3c2
    Mehrfachgenaue, arithmetische Bibliothek
  • dep: libice6 (>= 1:1.0.0)
    X11-Inter-Client-Exchange-Bibliothek
  • dep: libncurses5 (>= 5.4-5) [m68k]
    gemeinsam benutzte Bibliotheken für Terminalsteuerung
    dep: libncurses5 (>= 5.6+20071006-3) [nicht m68k]
  • dep: libreadline5 (>= 5.2)
    GNU readline- und History-Bibliotheken, Laufzeitbibliotheken
  • dep: libsm6
    X11-Biblitothek für Sitzungsverwaltung
  • dep: libx11-6
    Clientseitige X11-Bibliothek
  • dep: libxaw7
    X11 Athena Widget Bibliothek
  • dep: libxext6
    X11-Bibliothek für verschiedene Erweiterungen
  • dep: libxmu6
    X11-Bibliothek mit diversen Hilfsprogrammen
  • dep: libxt6
    X11-Bibliothek mit wesentlichen Werkzeugen
  • 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 Version Paketgröße Größe (installiert) Dateien
alpha 3.4-2 19 997,6 kB106620 kB [Liste der Dateien]
amd64 3.4-2 21 100,4 kB113640 kB [Liste der Dateien]
armel 3.4-2 19 388,5 kB68012 kB [Liste der Dateien]
hppa 3.4-2 19 747,2 kB60240 kB [Liste der Dateien]
i386 3.4-2 18 925,4 kB64332 kB [Liste der Dateien]
ia64 3.4-2 21 246,8 kB178828 kB [Liste der Dateien]
m68k (inoffizielle Portierung) 3.1-1 15 461,3 kB50560 kB [Liste der Dateien]
mips 3.4-2 19 245,4 kB60580 kB [Liste der Dateien]
mipsel 3.4-2 18 102,4 kB60576 kB [Liste der Dateien]
powerpc 3.4-2 20 901,2 kB72872 kB [Liste der Dateien]
s390 3.4-2 20 934,1 kB66744 kB [Liste der Dateien]
sparc 3.4-2 21 571,4 kB80148 kB [Liste der Dateien]