| Name : python3-clingo
| |
| Version : 5.5.0
| Vendor : SUSE LLC < https://www_suse_com/>
|
| Release : 150400.4.3.3
| Date : 2023-06-22 08:39:46
|
| Group : Development/Tools/Other
| Source RPM : clingo-5.5.0-150400.4.3.3.src.rpm
|
| Size : 0.50 MB
| |
| Packager : https://www_suse_com/
| |
| 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 AATT-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/
|
RPM found in directory: /vol/rzm3/linux-opensuse/update/leap/15.5/sle/x86_64 |
