Package: acl2-books (4.0-3)

[ Source: acl2  ]

Výpočtová logika pro Applicative Common Lisp: kompilované knihovny

ACL2 obsahuje kombinaci programovacího jazyka, ve kterém můžete modelovat počítačové systémy a zároveň obsahuje nástroje, který vám umožní nastavit více parametrů těchto modelů.

Tento balíček obsahuje celou řadu předkompilovaných a předcertifikovaných knihoven pro jejich použití spolu s ACL2. Vážní zájemci si tento balíček určitě bez váhání nainstalují.

Tags: Software Development: Interpreter, Lisp Development, Libraries, Field: Mathematics, Implemented in: Lisp, Role: Application Data, Works with: Source Code

Other Packages Related to acl2-books

• dep: acl2 (= 4.0-3)

  Výpočtová logika pro Applicative Common Lisp: hlavní soubory

• dep: acl2-books-certs (= 4.0-3)

  Výpočtová logika pro Applicative Common Lisp: knihovna s certifikáty

• dep: acl2-books-source (= 4.0-3)

  Výpočtová logika pro Applicative Common Lisp: zdroje knihoven

Download acl2-books

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	37,600.0 kB	172,204.0 kB	[list of files]
armel	33,418.9 kB	107,404.0 kB	[list of files]
i386	33,208.2 kB	107,684.0 kB	[list of files]
ia64	40,561.8 kB	193,968.0 kB	[list of files]
kfreebsd-amd64	37,536.2 kB	167,194.0 kB	[list of files]
kfreebsd-i386	32,988.3 kB	101,390.0 kB	[list of files]
mips	37,506.5 kB	116,212.0 kB	[list of files]
mipsel	12,861.6 kB	58,404.0 kB	[list of files]
powerpc	43,004.7 kB	129,984.0 kB	[list of files]
s390	41,222.3 kB	130,488.0 kB	[list of files]
sparc	36,113.2 kB	118,632.0 kB	[list of files]