| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: python3-clingo | Distribution: openSUSE Tumbleweed |
| Version: 5.6.2 | Vendor: openSUSE |
| Release: 2.3 | Build date: Fri Feb 9 22:52:05 2024 |
| Group: Development/Tools/Other | Build host: i03-armsrv1 |
| Size: 500228 | Source RPM: clingo-5.6.2-2.3.src.rpm |
| Packager: http://bugs.opensuse.org | |
| Url: https://potassco.org/clingo/ | |
| Summary: Python 3 bindings for 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/
MIT
* Mon Dec 05 2022 Dirk Müller <dmueller@suse.com>
- update to 5.6.2:
* fix AST comparison
* fix handling of n-ary comparisons in AST
* fix symbolic atom iterator
* build wheels using cibuildwheel
* add support for parsing files in ASPIF format
* add theory related functions to backend
* add support for comparisons with more than one relation
* extend safety by computing intervals from comparisons
* add and ground base part by default in Python API
* remove experimental CSP extensions
* require at least MSVC 15.0 to build on Windows
* large code refactoring
* replace internal hash set implementation by external one
* fix `parse_files` in C++ API
* fix adding clauses during enumeration
* fix incremental projection with backend
* update to clasp version 3.3.8
* extend theory class to get version information
* improve performance of `Model.symbol`
* tidy up `clingo.hh` header regarding C++17 deprecations
* fix error handling while solving in Python API
* fix various outher bugs
* Thu Sep 01 2022 Steve Kowalik <steven.kowalik@suse.com>
- Do not use python_module macro, which requires other macros to fire
correctly (bsc#1212554).
- Mark the license file using %license macro.
* Tue Dec 14 2021 Christian Goll <cgoll@suse.com>
- added python-cffi as Requires (boo#1193712)
* Thu Nov 18 2021 Antoine Ginies <aginies@suse.com>
- create a sub lib package
* Wed Sep 29 2021 Antoine Ginies <aginies@suse.com>
- fix some build errors, remove unwanted files
- update to version 5.5.0
- clingo is used by default for spack version >= 0.17 (JSC#SLE-22137)
* Wed Sep 29 2021 Antoine Ginies <aginies@suse.com>
- first release for SUSE (from fedora spec)
/usr/lib/python3.11/site-packages/clingo /usr/lib/python3.11/site-packages/clingo-5.6.2.dist-info /usr/lib/python3.11/site-packages/clingo-5.6.2.dist-info/INSTALLER /usr/lib/python3.11/site-packages/clingo-5.6.2.dist-info/METADATA /usr/lib/python3.11/site-packages/clingo/__init__.py /usr/lib/python3.11/site-packages/clingo/__main__.py /usr/lib/python3.11/site-packages/clingo/_clingo.cpython-311-arm-linux-gnueabihf.so /usr/lib/python3.11/site-packages/clingo/_internal.py /usr/lib/python3.11/site-packages/clingo/application.py /usr/lib/python3.11/site-packages/clingo/ast.py /usr/lib/python3.11/site-packages/clingo/backend.py /usr/lib/python3.11/site-packages/clingo/configuration.py /usr/lib/python3.11/site-packages/clingo/control.py /usr/lib/python3.11/site-packages/clingo/core.py /usr/lib/python3.11/site-packages/clingo/propagator.py /usr/lib/python3.11/site-packages/clingo/script.py /usr/lib/python3.11/site-packages/clingo/solving.py /usr/lib/python3.11/site-packages/clingo/statistics.py /usr/lib/python3.11/site-packages/clingo/symbol.py /usr/lib/python3.11/site-packages/clingo/symbolic_atoms.py /usr/lib/python3.11/site-packages/clingo/theory.py /usr/lib/python3.11/site-packages/clingo/theory_atoms.py /usr/lib/python3.11/site-packages/clingo/util.py
Generated by rpm2html 1.8.1
Fabrice Bellet, Sat Apr 27 00:31:59 2024