| Versions available | The current version will shortly be available over the Net, depending on the release of V1.9 of ACL2. |
| Documentation available | See the brief syntax description. |
| Download Procedure | |
| License Agreement | There is a single license agreement for all prospective users. |
| Freeware or fee structure | NA |