-------------------------------------------------------------------
Mon Dec 5 12:55:18 UTC 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 1 00:13:39 UTC 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 09:50:18 UTC 2021 - Christian Goll <cgoll@suse.com>
- added python-cffi as Requires (boo#1193712)
-------------------------------------------------------------------
Thu Nov 18 14:59:52 UTC 2021 - Antoine Ginies <aginies@suse.com>
- create a sub lib package
-------------------------------------------------------------------
Wed Sep 29 12:41:20 UTC 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 10:11:31 UTC 2021 - Antoine Ginies <aginies@suse.com>
- first release for SUSE (from fedora spec)