openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File clingo.changes of Package clingo (Revision d398a22aeb5e653c83176887f2faf46a)

Currently displaying revision d398a22aeb5e653c83176887f2faf46a , Show latest

-------------------------------------------------------------------
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.
- 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)

Places

File clingo.changes of Package clingo (Revision d398a22aeb5e653c83176887f2faf46a)

Places