alla flaggor
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Källkod: acl2  ]

Paket: acl2 (4.3-3)

Länkar för acl2

Screenshot

Debianresurser:

Hämta källkodspaketet acl2:

Ansvarig:

Liknande paket:

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.

Märken: Software Development: Interpreter, Lisp Development, Field: field::mathematics, implemented-in::lisp, User Interface: Text-based Interactive, Role: role::program, scope::utility, Interface Toolkit: Ncurses TUI, Works with: Source Code

Andra paket besläktade med acl2

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta acl2

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
amd64 27.654,0 kbyte130.540,0 kbyte [filförteckning]
armel 23.934,5 kbyte82.378,0 kbyte [filförteckning]
armhf 22.860,2 kbyte78.434,0 kbyte [filförteckning]
i386 23.728,2 kbyte78.179,0 kbyte [filförteckning]
ia64 25.654,4 kbyte205.548,0 kbyte [filförteckning]
kfreebsd-amd64 27.659,2 kbyte137.309,0 kbyte [filförteckning]
kfreebsd-i386 23.752,3 kbyte84.913,0 kbyte [filförteckning]
mips 24.340,9 kbyte80.935,0 kbyte [filförteckning]
mipsel 23.050,6 kbyte81.195,0 kbyte [filförteckning]
powerpc 25.108,9 kbyte85.752,0 kbyte [filförteckning]
s390 25.656,4 kbyte79.195,0 kbyte [filförteckning]
s390x 29.936,1 kbyte134.905,0 kbyte [filförteckning]
sparc 27.555,3 kbyte92.374,0 kbyte [filförteckning]