Linux workstation

Upstream software project

clingo

Grounder and solver for logic programs (development files)

About clingo

Grounder and solver for logic programs (development files)

This project links 35 native package records across 8 recorded operating-system releases. Compare the retained versions and architectures below, then open the package for your own release.

These are catalog observations, not a guarantee of installation, compatibility, or upstream support.

Visit project website

Project pictures and package coverage

Alpine Linux 3.21: 4 package records; Alpine Linux 3.22: 4 package records; Alpine Linux 3.23: 4 package records; Fedora 43: 4 package records; Fedora 44: 4 package records; openSUSE Leap 15.6: 5 package records; openSUSE Leap 16.0: 5 package records; openSUSE Tumbleweed: 5 package records. Catalog coverage diagram, not an application screenshot.clingo: recorded package coverageAlpine Linux 3.214 recordsAlpine Linux 3.224 recordsAlpine Linux 3.234 recordsFedora 434 recordsFedora 444 recordsopenSUSE Leap 15.65 recordsopenSUSE Leap 16.05 recordsopenSUSE Tumbleweed5 records
OpenFactory diagram of linked package records. It is not an application screenshot.

Project identity

Project
clingo
Publisher
Not authoritatively mapped
Native package records
35
Operating systems
alpine-linux-3-21, alpine-linux-3-22, alpine-linux-3-23, fedora-43, fedora-44, opensuse-leap-15-6, opensuse-leap-16-0, opensuse-tumbleweed
License expression
MIT
Metadata completeness
70/100 (not a software quality rating)
Homepage
Visit upstream site
Source repository
Not reported

Source-reported description

The fullest retained description is shown with its source. Distribution packaging descriptions may include downstream details.

This module provides functions and classes to work with ground terms and to control the instantiation process. In clingo builts, additional functions to control and inspect the solving process are available. Functions defined in a python script block are callable during the instantiation process using @-syntax. The default grounding/solving process can be customized if a main function is provided. Detailed information (including a User's manual), source code, and pre-compiled binaries are available at: http://potassco.org/

Description source

Packages by operating system

Compare recorded versions, then open a package for dependency, file, checksum, and repository evidence. Version strings are distribution-specific, not a ranking of newer software.

Alpine Linux 3.21

  1. clingo

    Alpine Linux 3.21 / source clingo

    5.7.1-r1

    Grounder and solver for logic programs

    aarch64x86_64v3.21
  2. clingo-dev

    Alpine Linux 3.21 / source clingo

    5.7.1-r1

    Grounder and solver for logic programs (development files)

    aarch64x86_64v3.21
  3. clingo-libs

    Alpine Linux 3.21 / source clingo

    5.7.1-r1

    Grounder and solver for logic programs (libraries)

    aarch64x86_64v3.21
  4. py3-clingo

    Alpine Linux 3.21 / source clingo

    5.7.1-r1

    Python bindings for clingo

    aarch64x86_64v3.21

Alpine Linux 3.22

  1. clingo

    Alpine Linux 3.22 / source clingo

    5.8.0-r0

    Grounder and solver for logic programs

    aarch64x86_64v3.22
  2. clingo-dev

    Alpine Linux 3.22 / source clingo

    5.8.0-r0

    Grounder and solver for logic programs (development files)

    aarch64x86_64v3.22
  3. clingo-libs

    Alpine Linux 3.22 / source clingo

    5.8.0-r0

    Grounder and solver for logic programs (libraries)

    aarch64x86_64v3.22
  4. py3-clingo

    Alpine Linux 3.22 / source clingo

    5.8.0-r0

    Python bindings for clingo

    aarch64x86_64v3.22

Alpine Linux 3.23

  1. clingo

    Alpine Linux 3.23 / source clingo

    5.8.0-r0

    Grounder and solver for logic programs

    aarch64x86_64v3.23
  2. clingo-dev

    Alpine Linux 3.23 / source clingo

    5.8.0-r0

    Grounder and solver for logic programs (development files)

    aarch64x86_64v3.23
  3. clingo-libs

    Alpine Linux 3.23 / source clingo

    5.8.0-r0

    Grounder and solver for logic programs (libraries)

    aarch64x86_64v3.23
  4. py3-clingo

    Alpine Linux 3.23 / source clingo

    5.8.0-r0

    Python bindings for clingo

    aarch64x86_64v3.23

Fedora 43

  1. clingo

    Fedora 43 / Unspecified / source clingo

    5.8.2-1.fc43

    A grounder and solver for logic programs

    aarch64i686x86_6443
  2. clingo-devel

    Fedora 43 / Unspecified / source clingo

    5.8.2-1.fc43

    Development files for clingo

    aarch64i686x86_6443
  3. lua-clingo

    Fedora 43 / Unspecified / source clingo

    5.8.2-1.fc43

    Lua bindings for Clingo

    aarch64x86_6443
  4. python3-clingo

    Fedora 43 / Unspecified / source clingo

    5.8.2-1.fc43

    Python 3 bindings for Clingo

    aarch64x86_6443

Fedora 44

  1. clingo

    Fedora 44 / Unspecified / source clingo

    5.8.2-1.fc44

    A grounder and solver for logic programs

    aarch64i686x86_6444
  2. clingo-devel

    Fedora 44 / Unspecified / source clingo

    5.8.2-1.fc44

    Development files for clingo

    aarch64i686x86_6444
  3. lua-clingo

    Fedora 44 / Unspecified / source clingo

    5.8.2-1.fc44

    Lua bindings for Clingo

    aarch64x86_6444
  4. python3-clingo

    Fedora 44 / Unspecified / source clingo

    5.8.2-1.fc44

    Python 3 bindings for Clingo

    aarch64x86_6444

openSUSE Leap 15.6

  1. clingo

    openSUSE Leap 15.6 / Development/Tools/Other / source clingo

    5.5.0-150400.4.3.3

    A grounder and solver for logic programs

    aarch64ppc64les390xx86_64leap-15.6
  2. clingo-devel

    openSUSE Leap 15.6 / Development/Tools/Other / source clingo

    5.5.0-150400.4.3.3

    Development files for clingo

    aarch64ppc64les390xx86_64leap-15.6
  3. libclingo4

    openSUSE Leap 15.6 / Development/Libraries/C and C++ / source clingo

    5.5.0-150400.4.3.3

    Libraries file(s) for clingo

    aarch64ppc64les390xx86_64leap-15.6
  4. lua-clingo

    openSUSE Leap 15.6 / Development/Tools/Other / source clingo

    5.5.0-150400.4.3.3

    Lua bindings for Clingo

    aarch64ppc64les390xx86_64leap-15.6
  5. python3-clingo

    openSUSE Leap 15.6 / Development/Tools/Other / source clingo

    5.5.0-150400.4.3.3

    Python 3 bindings for Clingo

    aarch64ppc64les390xx86_64leap-15.6

openSUSE Leap 16.0

  1. clingo

    openSUSE Leap 16.0 / Development/Tools/Other / source clingo

    5.6.2-bp160.1.3

    A grounder and solver for logic programs

    aarch64ppc64les390xx86_64leap-16.0
  2. clingo-devel

    openSUSE Leap 16.0 / Development/Tools/Other / source clingo

    5.6.2-bp160.1.3

    Development files for clingo

    aarch64ppc64les390xx86_64leap-16.0
  3. libclingo4

    openSUSE Leap 16.0 / Development/Libraries/C and C++ / source clingo

    5.6.2-bp160.1.3

    Libraries file(s) for clingo

    aarch64ppc64les390xx86_64leap-16.0
  4. lua-clingo

    openSUSE Leap 16.0 / Development/Tools/Other / source clingo

    5.6.2-bp160.1.3

    Lua bindings for Clingo

    aarch64ppc64les390xx86_64leap-16.0
  5. python3-clingo

    openSUSE Leap 16.0 / Development/Tools/Other / source clingo

    5.6.2-bp160.1.3

    Python 3 bindings for Clingo

    aarch64ppc64les390xx86_64leap-16.0

openSUSE Tumbleweed

  1. clingo

    openSUSE Tumbleweed / Development/Tools/Other / source clingo

    5.8.0-2.4

    A grounder and solver for logic programs

    x86_64tumbleweed
  2. clingo-devel

    openSUSE Tumbleweed / Development/Tools/Other / source clingo

    5.8.0-2.4

    Development files for clingo

    x86_64tumbleweed
  3. libclingo4

    openSUSE Tumbleweed / Development/Libraries/C and C++ / source clingo

    5.8.0-2.4

    Libraries file(s) for clingo

    x86_64tumbleweed
  4. lua-clingo

    openSUSE Tumbleweed / Development/Tools/Other / source clingo

    5.8.0-2.4

    Lua bindings for Clingo

    x86_64tumbleweed
  5. python3-clingo

    openSUSE Tumbleweed / Development/Tools/Other / source clingo

    5.8.0-2.4

    Python 3 bindings for Clingo

    x86_64tumbleweed

Project resources and further reading

Mapping provenance

Only source-backed identity signals create public cross-OS links. A reviewer can later approve or dispute an inferred relationship without rewriting native package history.

No field-level source record is published yet.