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.
|
|
|
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha | 3.3-1.1 | 17,402.4 kB | 93180 kB | [list of files] |
| amd64 | 3.3-1.1 | 18,496.5 kB | 100216 kB | [list of files] |
| arm | 3.3-1 | 16,795.3 kB | 58204 kB | [list of files] |
| armel | 3.3-1.1 | 16,954.0 kB | 60704 kB | [list of files] |
| hppa | 3.1-1 | 15,758.2 kB | 53340 kB | [list of files] |
| i386 | 3.3-1.1 | 16,506.1 kB | 57288 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.3-1 | 16,711.5 kB | 53952 kB | [list of files] |
| mipsel | 3.3-1 | 15,823.1 kB | 53908 kB | [list of files] |
| powerpc | 3.3-1.1 | 18,221.2 kB | 65988 kB | [list of files] |
| s390 | 3.3-1.1 | 17,632.5 kB | 57956 kB | [list of files] |
| sparc | 3.3-1.1 | 18,227.1 kB | 71376 kB | [list of files] |