clingo - Grounding tools for (disjunctive) logic programs

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package name clingo
Package version 5.2.2
Package release 5
Package architecture x86_64
Package type xz
Installed size 6.09 MB
Download size 1.29 MB
Official Mirror
Grounding tools for (disjunctive) logic programs.
Packager: Alexander Rødseth <>. License: GPL3


Package Version Architecture Repository
clingo - - -


Name Value
lua -
python -


Name Value
clasp -


Type URL
Binary Package clingo-5.2.2-5-x86_64.pkg.tar.xz
Source Package unknown

Install Howto

  1. Enable the community repository on /etc/pacman.conf:
    Include = /etc/pacman.d/mirrorlist
  2. Install clingo xz package:
    # pacman -Sy clingo



See Also

Package Description
cliquer-1.21-2-x86_64.pkg.tar.xz A set of C routines for finding cliques in an arbitrary weighted graph
cloc-1.76-1-any.pkg.tar.xz Count lines of code
clojure-1.9.0-7-any.pkg.tar.xz LISP for the JVM
clonezilla-3.27.16-1-any.pkg.tar.xz ncurses partition and disk imaging/cloning program
clthreads-2.4.0-4-x86_64.pkg.tar.xz C++ wrapper library around the POSIX threads API
clusterssh-4.13.2-1-any.pkg.tar.xz Control multiple open terminal windows with connections to specified hosts and an administration console
clxclient-3.9.0-4-x86_64.pkg.tar.xz C++ wrapper library around the X Window System API
cmake-fedora-2.9.2-4-any.pkg.tar.xz CMake helper modules for fedora developers
cmark-0.28.3-1-x86_64.pkg.tar.xz CommonMark parsing and rendering library and program in C
cmark-gfm-0.28.0.gfm.11-1-x86_64.pkg.tar.xz GitHub's fork of cmark, a CommonMark parsing and rendering library and program in C
cmatrix-1.2a-12-x86_64.pkg.tar.xz A curses-based scrolling 'Matrix'-like screen
cmocka-1.1.1-1-x86_64.pkg.tar.xz Elegant unit testing framework for C with support for mock objects
cmt-1.16-8-x86_64.pkg.tar.xz LADSPA plugins for use with software synthesis and recording packages on Linux
cmus-2.7.1-9-x86_64.pkg.tar.xz Feature-rich ncurses-based music player
codeblocks-17.12-3-x86_64.pkg.tar.xz Cross-platform C/C++ IDE