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 základní programy ACL2.
|
|
|
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha | 3.4-1 | 19,998.4 kB | 106620 kB | [list of files] |
| amd64 | 3.4-1 | 21,095.1 kB | 113640 kB | [list of files] |
| arm | 3.4-1 | 19,226.6 kB | 65360 kB | [list of files] |
| armel | 3.4-1 | 19,312.5 kB | 67576 kB | [list of files] |
| hppa | 3.1-1 | 15,758.2 kB | 53340 kB | [list of files] |
| i386 | 3.4-1 | 18,910.1 kB | 64364 kB | [list of files] |
| ia64 | 3.3-1 | 18,689.7 kB | 165388 kB | [list of files] |
| m68k | 3.1-1 | 15,461.3 kB | 50560 kB | [list of files] |
| mips | 3.4-1 | 19,255.6 kB | 60576 kB | [list of files] |
| mipsel | 3.4-1 | 18,097.8 kB | 60576 kB | [list of files] |
| powerpc | 3.4-1 | 20,896.7 kB | 72868 kB | [list of files] |
| s390 | 3.4-1 | 20,933.3 kB | 66744 kB | [list of files] |
| sparc | 3.3-1.1 | 18,227.1 kB | 71376 kB | [list of files] |