clingo: Grounder and solver for logic programs¹

Grounder and solver for logic programs.

... part of T2, get it here

URL: https://potassco.org/clingo/

Author: Clingo Authors
Maintainer: T2 Project <t2 [at] t2-project [dot] org>

License: MIT
Status: Stable
Version: 5.7.1

Remark: Does cross compile (as setup and patched in T2).

Download: https://github.com/potassco/clingo/ clingo-5.7.1.tar.gz

T2 source: clingo.cache
T2 source: clingo.desc

Build time (on reference hardware): 50% (relative to binutils)²

Installed size (on reference hardware): 4.54 MB, 38 files

Dependencies (build time detected): 00-dirtree ansible linux-header mercurial meson

Installed files (on reference hardware): n.a.

¹) This page was automatically generated from the T2 package source. Corrections, such as dead links, URL changes or typos need to be performed directly on that source.

²) Compatible with Linux From Scratch's "Standard Build Unit" (SBU).