Command-line tool

clingo

brew/clingo

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

ASP system to ground and solve logic programs

Website Source

At a glance

Type

Command-line tool

Install on

Windows, macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

Windows

scoop bucket add extras; scoop install extras/clingo

macOS

brew install clingo

Linux

brew install clingo

Related command-line tools

• acl2
  Logic and programming language in which you can model computer systems
• 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)…
• dump1090-fa
  FlightAware ADS-B Ground Station System for SDRs
• punfetch
  A blazingly fast system fetch program to pair with onefetch
• kcov
  Code coverage tester for compiled programs, Python, and shell scripts
• strace
  Diagnostic, instructional, and debugging tool for the Linux kernel
• tuckr
  Super powered replacement for GNU Stow dotfiles stow dotfile-manager dotfile-management tuckr

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