How to Install and Uninstall python3-clingo Package on openSuSE Tumbleweed
Last updated: November 07,2024
1. Install "python3-clingo" package
Here is a brief guide to show you how to install python3-clingo on openSuSE Tumbleweed
$
sudo zypper refresh
Copied
$
sudo zypper install
python3-clingo
Copied
2. Uninstall "python3-clingo" package
Learn how to uninstall python3-clingo on openSuSE Tumbleweed:
$
sudo zypper remove
python3-clingo
Copied
3. Information about the python3-clingo package on openSuSE Tumbleweed
Information for package python3-clingo:
---------------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : python3-clingo
Version : 5.6.2-2.4
Arch : x86_64
Vendor : openSUSE
Installed Size : 559.0 KiB
Installed : No
Status : not installed
Source package : clingo-5.6.2-2.4.src
Upstream URL : https://potassco.org/clingo/
Summary : Python 3 bindings for Clingo
Description :
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/
---------------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : python3-clingo
Version : 5.6.2-2.4
Arch : x86_64
Vendor : openSUSE
Installed Size : 559.0 KiB
Installed : No
Status : not installed
Source package : clingo-5.6.2-2.4.src
Upstream URL : https://potassco.org/clingo/
Summary : Python 3 bindings for Clingo
Description :
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/