Package: acl2 (8.4dfsg-2) [debports]

[ Source:  ]

Applicative Common Lisp용 계산 로직: 주 바이너리

ACL2는 컴퓨터 시스템 모델을 만드는 프로그래밍 언어이자 이 모델의 속성을 증명하는 도구입니다.

이 패키지에는 기본 ACL2 바이너리가 들어있습니다.

Other Packages Related to acl2

• dep: libc6.1 (>= 2.29)

  GNU C 라이브러리: 공유 라이브러리
  also a virtual package provided by libc6.1-udeb

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

  Multiprecision 연산 라이브러리

• dep: libreadline8 (>= 6.0)

  GNU readline과 history 라이브러리, 런타임 라이브러리

• dep: libtirpc3 (>= 1.0.2)

  transport-independent RPC library

• dep: libx11-6

  X11 client-side library

• rec: acl2-books

  Computational Logic for Applicative Common Lisp: compiled libraries

• rec: acl2-source

  Computational Logic for Applicative Common Lisp: source files

• sug: elpa-acl2

  Computational Logic for Applicative Common Lisp: emacs interface

Download acl2

Download for all available architectures

Architecture	Package Size	Installed Size	Files
alpha (unofficial port)	20,868.6 kB	243,337.0 kB	[list of files]