clingo: Grounder and solver for logic programs1
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.8.0
Remark: Does cross compile (as setup and patched in T2).
Download: https://github.com/potassco/clingo/ clingo-5.8.0.tar.gz
T2 source: clingo.cache
T2 source: clingo.desc
Build time (on reference hardware): 100% (relative to binutils)2
Installed size (on reference hardware): 4.20 MB, 41 files
Dependencies (build time detected):
bash
binutils
bison
cmake
coreutils
cython
diffutils
findutils
gawk
git
grep
gzip
linux-header
ninja
openssl
python
python-gpep517
re2c
sed
setuptools
tar
tbb
Installed files (on reference hardware):
[show]
usr/lib64/python3.12/site-packages/clingo
usr/lib64/python3.12/site-packages/clingo-5.7.1.dist-info
usr/lib64/python3.12/site-packages/clingo-5.7.1.dist-info/LICENSE.md
usr/lib64/python3.12/site-packages/clingo-5.7.1.dist-info/METADATA
usr/lib64/python3.12/site-packages/clingo-5.7.1.dist-info/RECORD
usr/lib64/python3.12/site-packages/clingo-5.7.1.dist-info/WHEEL
usr/lib64/python3.12/site-packages/clingo-5.7.1.dist-info/top_level.txt
usr/lib64/python3.12/site-packages/clingo-5.8.0.dist-info
usr/lib64/python3.12/site-packages/clingo-5.8.0.dist-info/METADATA
usr/lib64/python3.12/site-packages/clingo-5.8.0.dist-info/RECORD
usr/lib64/python3.12/site-packages/clingo-5.8.0.dist-info/WHEEL
usr/lib64/python3.12/site-packages/clingo-5.8.0.dist-info/licenses
usr/lib64/python3.12/site-packages/clingo-5.8.0.dist-info/licenses/LICENSE.md
usr/lib64/python3.12/site-packages/clingo-5.8.0.dist-info/top_level.txt
usr/lib64/python3.12/site-packages/clingo/__init__.py
usr/lib64/python3.12/site-packages/clingo/__main__.py
usr/lib64/python3.12/site-packages/clingo/_clingo.cpython-312-x86_64-linux-gnu.so
usr/lib64/python3.12/site-packages/clingo/_internal.py
usr/lib64/python3.12/site-packages/clingo/application.py
usr/lib64/python3.12/site-packages/clingo/ast.py
usr/lib64/python3.12/site-packages/clingo/backend.py
usr/lib64/python3.12/site-packages/clingo/clingo.h
usr/lib64/python3.12/site-packages/clingo/clingo.hh
usr/lib64/python3.12/site-packages/clingo/configuration.py
usr/lib64/python3.12/site-packages/clingo/control.py
usr/lib64/python3.12/site-packages/clingo/core.py
usr/lib64/python3.12/site-packages/clingo/propagator.py
usr/lib64/python3.12/site-packages/clingo/py.typed
usr/lib64/python3.12/site-packages/clingo/script.py
usr/lib64/python3.12/site-packages/clingo/solving.py
usr/lib64/python3.12/site-packages/clingo/statistics.py
usr/lib64/python3.12/site-packages/clingo/symbol.py
usr/lib64/python3.12/site-packages/clingo/symbolic_atoms.py
usr/lib64/python3.12/site-packages/clingo/theory.py
usr/lib64/python3.12/site-packages/clingo/theory_atoms.py
usr/lib64/python3.12/site-packages/clingo/util.py
var/adm/dependencies/clingo
var/adm/descs/clingo
var/adm/flists/clingo
var/adm/md5sums/clingo
var/adm/packages/clingo
1) 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.
2) Compatible with Linux From Scratch's
"Standard Build Unit" (SBU).
