Login/Register to vote and to have access to more featuresYou are here: Root > By Topic > Science and Engineering
View the dependency graph for this libraryACL2
Created by amoroso on: Sat, 14 Oct 2006 09:28:36 GMT, Last modification: Sat, 14 Oct 2006 09:28:36 GMT
ACL2 (A Computational Logic for Applicative Common Lisp) is a programming language for modeling computer systems and a tool for proving properties of those models. It was developed at the University of Texas at Austin.
| kaufmann@cs.utexas.edu | |
| Web site | http://www.cs.utexas.edu/users/moore/acl2/ |
| Mailing list | http://www.cs.utexas.edu/users/moore/acl2/v3-0/installation.html#Addresses |
| Version | 3.0 - Sunday, 28 May 2006 |
| Maturity | Stable |
| OS compatibility | Unix, MacOS X, Windows |
| ASDF installable | No |
| Official Download | http://www.cs.utexas.edu/users/moore/acl2/v3-0/installation.html#Obtaining |
| Mirrored Download | |
| Source code repository |
Compatible Implementations
Allegro Common Lisp | CMUCL | SBCL | CLISP | LispWorks | OpenMCL | MCL | GCL
Authors and Maintainers
Matt Kaufmann | J. Strother Moore
Tags
Science and Engineering | Mathematics | Artificial Intelligence | Applications | Libraries | Unix family | Windows family | GPL
0 Notes and 0 comments
0 Notes
You must be logged to add a note
0 Comments
You must be logged to add a comment