Command-line tool

acl2

brew/acl2

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

Logic and programming language in which you can model computer systems

Website

At a glance

Type

Command-line tool

Install on

macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install acl2

Linux

brew install acl2

Related command-line tools

• ECLiPSe Constraint Logic Programming System Version 7.0
  ECLiPSe Constraint Logic Programming System Version 7.0 (Windows package; no description in the winget index)…
• ECLiPSe Constraint Logic Programming System Version 7.1
  ECLiPSe Constraint Logic Programming System Version 7.1 (Windows package; no description in the winget index)…
• flix
  Statically typed functional, imperative, and logic programming language
• logtalk
  Declarative object-oriented logic programming language programming 编程 language 语言 logic prolog 逻辑
• picat
  Simple, and yet powerful, logic-based multi-paradigm programming language
• mercury
  Logic/functional programming language
• nessa-language
  An extensible programming language with a strong type system
• python
  A programming language that lets you work quickly and integrate systems more effectively.

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents