Пакунок: acl2 (8.5dfsg-5 and others)

[ Source: acl2  ]

Computational Logic for Applicative Common Lisp: main binary

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

This package contains the base ACL2 binary.

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

Інші пакунки пов'язані з acl2

• dep: libc6 (>= 2.34)

  Бібліотека GNU C: спільні бібліотеки
  also a virtual package provided by libc6-udeb

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

  Бібліотеки BSD editline та history

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

  Арифметична бібліотека багатоточності

• dep: libtirpc3t64 (>= 1.0.2)

  Транспортно-незалежна бібліотека RPC

• dep: libx11-6

  Клієнтська бібліотека X11

• 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

Завантажити acl2

Завантаження для всіх доступних архітектур

Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
i386	8.5dfsg-5+b1	19,940.1 kB	167,601.0 kB	[список файлів]