Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help

The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...

The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.

System Arch

RPM resource python3-clingo

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/

Found 1 sites for python3-clingo

Found 58 RPM for python3-clingo

PackageSummaryDistributionDownload
python3-clingo-5.5.2-1.fc37.aarch64.htmlPython 3 bindings for ClingoFedora Rawhide for aarch64python3-clingo-5.5.2-1.fc37.aarch64.rpm
python3-clingo-5.5.2-1.fc37.ppc64le.htmlPython 3 bindings for ClingoFedora Rawhide for ppc64lepython3-clingo-5.5.2-1.fc37.ppc64le.rpm
python3-clingo-5.5.2-1.fc37.s390x.htmlPython 3 bindings for ClingoFedora Rawhide for s390xpython3-clingo-5.5.2-1.fc37.s390x.rpm
python3-clingo-5.5.2-1.fc37.x86_64.htmlPython 3 bindings for ClingoFedora Rawhide for x86_64python3-clingo-5.5.2-1.fc37.x86_64.rpm
python3-clingo-5.5.2-1.fc36.aarch64.htmlPython 3 bindings for ClingoFedora 36 updates for aarch64python3-clingo-5.5.2-1.fc36.aarch64.rpm
python3-clingo-5.5.2-1.fc36.armv7hl.htmlPython 3 bindings for ClingoFedora 36 updates for armhfppython3-clingo-5.5.2-1.fc36.armv7hl.rpm
python3-clingo-5.5.2-1.fc36.x86_64.htmlPython 3 bindings for ClingoFedora 36 updates for x86_64python3-clingo-5.5.2-1.fc36.x86_64.rpm
python3-clingo-5.5.0-150400.2.5.aarch64.htmlPython 3 bindings for ClingoOpenSuSE Leap 15.4 for aarch64python3-clingo-5.5.0-150400.2.5.aarch64.rpm
python3-clingo-5.5.0-150400.2.5.ppc64le.htmlPython 3 bindings for ClingoOpenSuSE Leap 15.4 for ppc64lepython3-clingo-5.5.0-150400.2.5.ppc64le.rpm
python3-clingo-5.5.0-150400.2.5.s390x.htmlPython 3 bindings for ClingoOpenSuSE Leap 15.4 for s390xpython3-clingo-5.5.0-150400.2.5.s390x.rpm
python3-clingo-5.5.0-150400.2.5.x86_64.htmlPython 3 bindings for ClingoOpenSuSE Leap 15.4 for x86_64python3-clingo-5.5.0-150400.2.5.x86_64.rpm
python3-clingo-5.5.0-2.3.aarch64.htmlPython 3 bindings for ClingoOpenSuSE Ports Tumbleweed for aarch64python3-clingo-5.5.0-2.3.aarch64.rpm
python3-clingo-5.5.0-2.3.armv6hl.htmlPython 3 bindings for ClingoOpenSuSE Ports Tumbleweed for armv6hlpython3-clingo-5.5.0-2.3.armv6hl.rpm
python3-clingo-5.5.0-2.3.armv7hl.htmlPython 3 bindings for ClingoOpenSuSE Ports Tumbleweed for armv7hlpython3-clingo-5.5.0-2.3.armv7hl.rpm
python3-clingo-5.5.0-2.3.i586.htmlPython 3 bindings for ClingoOpenSuSE Tumbleweed for i586python3-clingo-5.5.0-2.3.i586.rpm
python3-clingo-5.5.0-2.3.x86_64.htmlPython 3 bindings for ClingoOpenSuSE Tumbleweed for x86_64python3-clingo-5.5.0-2.3.x86_64.rpm
python3-clingo-5.5.0-2.2.s390x.htmlPython 3 bindings for ClingoOpenSuSE Ports Tumbleweed for s390xpython3-clingo-5.5.0-2.2.s390x.rpm
python3-clingo-5.5.0-2.1.armv7hl.htmlPython 3 bindings for ClingoOpenSuSE Ports Leap 15.4 for armv7hlpython3-clingo-5.5.0-2.1.armv7hl.rpm
python3-clingo-5.5.0-2.1.ppc64.htmlPython 3 bindings for ClingoOpenSuSE Ports Tumbleweed for ppc64python3-clingo-5.5.0-2.1.ppc64.rpm
python3-clingo-5.5.0-2.1.ppc64le.htmlPython 3 bindings for ClingoOpenSuSE Ports Tumbleweed for ppc64lepython3-clingo-5.5.0-2.1.ppc64le.rpm
python3-clingo-5.5.0-2.1.riscv64.htmlPython 3 bindings for ClingoOpenSuSE Ports Tumbleweed for riscv64python3-clingo-5.5.0-2.1.riscv64.rpm
python3-clingo-5.5.0-2.fc36.aarch64.htmlPython 3 bindings for ClingoFedora 36 for aarch64python3-clingo-5.5.0-2.fc36.aarch64.rpm
python3-clingo-5.5.0-2.fc36.armv7hl.htmlPython 3 bindings for ClingoFedora 36 for armhfppython3-clingo-5.5.0-2.fc36.armv7hl.rpm
python3-clingo-5.5.0-2.fc36.ppc64le.htmlPython 3 bindings for ClingoFedora 36 for ppc64lepython3-clingo-5.5.0-2.fc36.ppc64le.rpm
python3-clingo-5.5.0-2.fc36.s390x.htmlPython 3 bindings for ClingoFedora 36 for s390xpython3-clingo-5.5.0-2.fc36.s390x.rpm
python3-clingo-5.5.0-2.fc36.x86_64.htmlPython 3 bindings for ClingoFedora 36 for x86_64python3-clingo-5.5.0-2.fc36.x86_64.rpm
python3-clingo-5.4.1-3.fc35.aarch64.htmlPython 3 bindings for ClingoFedora 35 for aarch64python3-clingo-5.4.1-3.fc35.aarch64.rpm
python3-clingo-5.4.1-3.fc35.armv7hl.htmlPython 3 bindings for ClingoFedora 35 for armhfppython3-clingo-5.4.1-3.fc35.armv7hl.rpm
python3-clingo-5.4.1-3.fc35.i686.htmlPython 3 bindings for ClingoFedora 35 for x86_64python3-clingo-5.4.1-3.fc35.i686.rpm
python3-clingo-5.4.1-3.fc35.ppc64le.htmlPython 3 bindings for ClingoFedora 35 for ppc64lepython3-clingo-5.4.1-3.fc35.ppc64le.rpm
python3-clingo-5.4.1-3.fc35.s390x.htmlPython 3 bindings for ClingoFedora 35 for s390xpython3-clingo-5.4.1-3.fc35.s390x.rpm
python3-clingo-5.4.1-3.fc35.x86_64.htmlPython 3 bindings for ClingoFedora 35 for x86_64python3-clingo-5.4.1-3.fc35.x86_64.rpm
python3-clingo-5.4.1-1.fc34.aarch64.htmlPython 3 bindings for ClingoFedora 34 testing updates for aarch64python3-clingo-5.4.1-1.fc34.aarch64.rpm
python3-clingo-5.4.1-1.fc34.aarch64.htmlPython 3 bindings for ClingoFedora 34 for aarch64python3-clingo-5.4.1-1.fc34.aarch64.rpm
python3-clingo-5.4.1-1.fc34.armv7hl.htmlPython 3 bindings for ClingoFedora 34 testing updates for armhfppython3-clingo-5.4.1-1.fc34.armv7hl.rpm
python3-clingo-5.4.1-1.fc34.armv7hl.htmlPython 3 bindings for ClingoFedora 34 for armhfppython3-clingo-5.4.1-1.fc34.armv7hl.rpm
python3-clingo-5.4.1-1.fc34.i686.htmlPython 3 bindings for ClingoFedora 34 testing updates for x86_64python3-clingo-5.4.1-1.fc34.i686.rpm
python3-clingo-5.4.1-1.fc34.i686.htmlPython 3 bindings for ClingoFedora 34 for x86_64python3-clingo-5.4.1-1.fc34.i686.rpm
python3-clingo-5.4.1-1.fc34.ppc64le.htmlPython 3 bindings for ClingoFedora 34 for ppc64lepython3-clingo-5.4.1-1.fc34.ppc64le.rpm
python3-clingo-5.4.1-1.fc34.s390x.htmlPython 3 bindings for ClingoFedora 34 for s390xpython3-clingo-5.4.1-1.fc34.s390x.rpm
python3-clingo-5.4.1-1.fc34.x86_64.htmlPython 3 bindings for ClingoFedora 34 testing updates for x86_64python3-clingo-5.4.1-1.fc34.x86_64.rpm
python3-clingo-5.4.1-1.fc34.x86_64.htmlPython 3 bindings for ClingoFedora 34 for x86_64python3-clingo-5.4.1-1.fc34.x86_64.rpm
python3-clingo-5.4.1-1.fc33.aarch64.htmlPython 3 bindings for ClingoFedora 33 updates for aarch64python3-clingo-5.4.1-1.fc33.aarch64.rpm
python3-clingo-5.4.1-1.fc33.armv7hl.htmlPython 3 bindings for ClingoFedora 33 updates for armhfppython3-clingo-5.4.1-1.fc33.armv7hl.rpm
python3-clingo-5.4.1-1.fc33.i686.htmlPython 3 bindings for ClingoFedora 33 updates for x86_64python3-clingo-5.4.1-1.fc33.i686.rpm
python3-clingo-5.4.1-1.fc33.x86_64.htmlPython 3 bindings for ClingoFedora 33 updates for x86_64python3-clingo-5.4.1-1.fc33.x86_64.rpm
python3-clingo-5.4.0-4.fc33.aarch64.htmlPython 3 bindings for ClingoFedora 33 for aarch64python3-clingo-5.4.0-4.fc33.aarch64.rpm
python3-clingo-5.4.0-4.fc33.armv7hl.htmlPython 3 bindings for ClingoFedora 33 for armhfppython3-clingo-5.4.0-4.fc33.armv7hl.rpm
python3-clingo-5.4.0-4.fc33.i686.htmlPython 3 bindings for ClingoFedora 33 for x86_64python3-clingo-5.4.0-4.fc33.i686.rpm
python3-clingo-5.4.0-4.fc33.ppc64le.htmlPython 3 bindings for ClingoFedora 33 for ppc64lepython3-clingo-5.4.0-4.fc33.ppc64le.rpm
python3-clingo-5.4.0-4.fc33.s390x.htmlPython 3 bindings for ClingoFedora 33 for s390xpython3-clingo-5.4.0-4.fc33.s390x.rpm
python3-clingo-5.4.0-4.fc33.x86_64.htmlPython 3 bindings for ClingoFedora 33 for x86_64python3-clingo-5.4.0-4.fc33.x86_64.rpm
python3-clingo-5.4.0-2.fc32.aarch64.htmlPython 3 bindings for ClingoFedora 32 for aarch64python3-clingo-5.4.0-2.fc32.aarch64.rpm
python3-clingo-5.4.0-2.fc32.armv7hl.htmlPython 3 bindings for ClingoFedora 32 for armhfppython3-clingo-5.4.0-2.fc32.armv7hl.rpm
python3-clingo-5.4.0-2.fc32.i686.htmlPython 3 bindings for ClingoFedora 32 for x86_64python3-clingo-5.4.0-2.fc32.i686.rpm
python3-clingo-5.4.0-2.fc32.ppc64le.htmlPython 3 bindings for ClingoFedora 32 for ppc64lepython3-clingo-5.4.0-2.fc32.ppc64le.rpm
python3-clingo-5.4.0-2.fc32.s390x.htmlPython 3 bindings for ClingoFedora 32 for s390xpython3-clingo-5.4.0-2.fc32.s390x.rpm
python3-clingo-5.4.0-2.fc32.x86_64.htmlPython 3 bindings for ClingoFedora 32 for x86_64python3-clingo-5.4.0-2.fc32.x86_64.rpm

Generated by rpm2html 1.6

Fabrice Bellet