Directory | Tags | Index | LinkIt | Submit   | Help
    Monday, 28 July 2014 - anonymous
Login/Register to vote and to have access to more features

You are here: Root > By Topic > Science and Engineering

View the dependency graph for this library

ACL2
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.

eMailkaufmann@cs.utexas.edu
Web sitehttp://www.cs.utexas.edu/users/moore/acl2/
Mailing listhttp://www.cs.utexas.edu/users/moore/acl2/v3-0/installation.html#Addresses
Version3.0 - Sunday, 28 May 2006
MaturityStable
OS compatibilityUnix, MacOS X, Windows
ASDF installableNo
Official Downloadhttp://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