clingo-5.2.2-5-x86_64.pkg.tar.xz


Advertisement

Description

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 ftp5.gwdg.de
Grounding tools for (disjunctive) logic programs.
Packager: Alexander Rødseth <rodseth@gmail.com>. License: GPL3

Alternatives

Package Version Architecture Repository
clingo - - -

Requires

Name Value
lua -
python -

Conflicts

Name Value
clasp -

Download

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:
    
    [community]
    Include = /etc/pacman.d/mirrorlist
    
  2. Install clingo xz package:
    # pacman -Sy clingo

Files

Path
/usr/
/usr/bin/clasp
/usr/bin/clingo
/usr/bin/gringo
/usr/bin/lpconvert
/usr/bin/reify
/usr/include/clingo.h
/usr/include/clingo.hh
/usr/lib/libclingo.so
/usr/lib/libclingo.so.1
/usr/lib/libclingo.so.1.0
/usr/lib/libluaclingo.so
/usr/lib/libluaclingo.so.1
/usr/lib/libluaclingo.so.1.0
/usr/lib/libpyclingo.so
/usr/lib/libpyclingo.so.1
/usr/lib/libpyclingo.so.1.0
/usr/lib/python3.6/
/usr/lib/python3.6/site-packages/clingo.cpython-36m-x86_64-linux-gnu.so

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
Advertisement
Advertisement