Package: acl2 (8.0dfsg-1)

[ Source: acl2  ]

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.

Tags: Software Development: Interpreter, Lisp Development, Field: field::mathematics, implemented-in::lisp, User Interface: Command Line, interface::text-mode, role::program, Scope: Utility, Interface Toolkit: uitoolkit::ncurses, works-with::software:source

Other Packages Related to acl2

• dep: libc6 (>= 2.15)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

• dep: libgmp10

  Bibliotek til multipræcision i aritmetik

• dep: libreadline7 (>= 6.0)

  GNU bibliotekerne readline og history - kørselstid

• 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: acl2-emacs

  Computational logik for Applicative Common Lisp - emacs-grænseflade

Download acl2

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	19,390.5 kB	226,542.0 kB	[list of files]