Pakiet: acl2 (8.5dfsg-5)

[ Pakiet źródłowy: acl2  ]

Logika obliczeniowa do Applicative Common Lisp: podstawowy plik binarny

ACL2 jest jednocześnie językiem programowania do modelowania systemów komputerowych i narzędziem pomagającym wykazać ich właściwości.

Pakiet zawiera podstawowy plik binarny ACL2.

Znaczniki: Rozwój oprogramowania: Interpretery, Rozwijanie w języku Lisp, Dziedzina: field::mathematics, implemented-in::lisp, Interfejs użytkownika: Wiersz poleceń, interface::text-mode, role::program, Zakres: Narzędzie, Pakiet narzędziowy interfejsu: uitoolkit::ncurses, works-with::software:source

Inne pakiety związane z acl2

• dep: libc6 (>= 2.34)

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

• dep: libedit2 (>= 2.11-20080614-0)

  Biblioteka do edytowania wiersza poleceń i historii

• dep: libgcc-s1 (>= 3.0) [arm64]

  Biblioteka wspomagająca GCC

• dep: libgmp10 (>= 2:6.2.1+dfsg1)

  Biblioteka działań arytmetycznych z dużą dokładnością

• dep: libtirpc3 (>= 1.0.2)

  Niezależna od warstwy transportowej biblioteka RPC

• dep: libx11-6

  Biblioteka X11 po stronie klienta

• rec: acl2-books

  Logika obliczeniowa do Applicative Common Lisp: skompilowane biblioteki

• rec: acl2-source

  Logika obliczeniowa do Applicative Common Lisp: pliki źródłowe

• sug: elpa-acl2

  Logika obliczeniowa do Applicative Common Lisp: interfejs Emacsa

Pobieranie acl2

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	22 859,6 KiB	246 032,0 KiB	[lista plików]
arm64	21 082,8 KiB	238 264,0 KiB	[lista plików]
armel	18 617,8 KiB	172 907,0 KiB	[lista plików]
armhf	19 126,1 KiB	166 118,0 KiB	[lista plików]
i386	19 900,2 KiB	167 641,0 KiB	[lista plików]
mips64el	20 119,7 KiB	260 595,0 KiB	[lista plików]
mipsel	19 357,4 KiB	172 866,0 KiB	[lista plików]
ppc64el	22 597,2 KiB	322 883,0 KiB	[lista plików]
s390x	21 485,8 KiB	235 288,0 KiB	[lista plików]