Changelog for clingo-5.6.2-15.1.x86_64.rpm :

* Mon Dec 05 2022 dmuellerAATTsuse.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 steven.kowalikAATTsuse.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 cgollAATTsuse.com- added python-cffi as Requires (boo#1193712)
* Thu Nov 18 2021 aginiesAATTsuse.com- create a sub lib package
* Wed Sep 29 2021 aginiesAATTsuse.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 aginiesAATTsuse.com- first release for SUSE (from fedora spec)