ACL2 on Windows
Windows users will probably want to do either of the following two
things to run ACL2 on their systems. Thanks to David Rager for his
help with this page, in particular the second item just below.
You are welcome to obtain
a Windows installer for a previous ACL2 release, which mimics some
of Linux and provides Emacs. We have successfully installed updated
ACL2 binaries in such an environment.
- Fetch the ACL2
Sedan (ACL2s), which is an extension and distribution of ACL2
integrated with the Eclipse IDE. If you wish to use ACL2(s) without
the Eclipse front-end,
information about ACL2s in the installation instructions, which
explains how to obtain and use a pre-built ACL2 binary for Windows,
Linux, or Mac.
- Use a Virtual Machine platform, such as VMware Player (free for
non-commercial use) or Oracle Virtualbox (free even for commercial
use) to install Linux, and then follow the normal installation
instructions to install ACL2. As of 2014, at least a couple of our
power users are very happy with this solution, as it provides
first-class access to utilities relevant to maintaining the ACL2
system and books (like GNU Make and perl).