Changelog for clingo-5.6.2-14.1.i586.rpm :

* Mon Dec 05 2022 Dirk Müller - 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 - 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 - added python-cffi as Requires (boo#1193712)
* Thu Nov 18 2021 Antoine Ginies - create a sub lib package
* Wed Sep 29 2021 Antoine Ginies - 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 - first release for SUSE (from fedora spec)