[  sarge  ] [  etch  ] [  etch-m68k  ] [  lenny  ] [  sid  ]
[ Source: acl2  ]

Package: acl2-books (3.3-1.1 and others)

Počítačová 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ů.

Balíček obsahuje celou řadu předkompilovaných a před-certifikovaný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

  • depends
  • recommends
  • suggests
  • dep: acl2 (= 3.1-1) [hppa, m68k]
    Počítačová logika pro Applicative Common Lisp: hlavní soubory
    dep: acl2 (= 3.3-1) [arm, ia64, mips, mipsel]
    dep: acl2 (= 3.3-1.1) [not arm, hppa, ia64, m68k, mips, mipsel]
  • dep: acl2-books-certs (= 3.1-1) [hppa, m68k]
    Počítačová logika pro Applicative Common Lisp: knihovna s certifikáty
    dep: acl2-books-certs (= 3.3-1) [arm, ia64, mips, mipsel]
    dep: acl2-books-certs (= 3.3-1.1) [not arm, hppa, ia64, m68k, mips, mipsel]
  • dep: acl2-books-source (= 3.1-1) [hppa, m68k]
    Počítačová logika pro Applicative Common Lisp: zdroje knihoven
    dep: acl2-books-source (= 3.3-1) [arm, ia64, mips, mipsel]
    dep: acl2-books-source (= 3.3-1.1) [not arm, hppa, ia64, m68k, mips, mipsel]

Download acl2-books

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha 3.3-1.1 8,473.7 kB49380 kB [list of files]
amd64 3.3-1.1 6,436.1 kB39056 kB [list of files]
arm 3.3-1 5,102.3 kB22768 kB [list of files]
armel 3.3-1.1 5,320.1 kB24204 kB [list of files]
hppa 3.1-1 7,590.0 kB36036 kB [list of files]
i386 3.3-1.1 4,803.8 kB22668 kB [list of files]
ia64 3.3-1 8,838.8 kB53504 kB [list of files]
m68k 3.1-1 1,590.4 kB12408 kB [list of files]
mips 3.3-1 5,881.4 kB28780 kB [list of files]
mipsel 3.3-1 5,682.7 kB28640 kB [list of files]
powerpc 3.3-1.1 6,314.2 kB31364 kB [list of files]
s390 3.3-1.1 5,048.0 kB25236 kB [list of files]
sparc 3.3-1.1 5,883.7 kB27780 kB [list of files]