File clingo.changes of Package clingo
------------------------------------------------------------------- Mon Jul 7 18:15:25 UTC 2025 - Christoph G <foss@grueninger.de> - update to 5.8.0 * extend API to read/write aspif programs * extend API to remove project and minimize statements * fix cffi issues with python 3.12 * fix comment enum in Python API - update to 5.7.1 * fix comparison of theory elements - update to 5.7.0 * add AST node for comments * add function to change undo mode * add function to access priorities to API * add Model::is_consequence to API * add option to preserve facts * improve hash table performance * extend add_theory_atom method of backend * fix add_theory_atom_with_guard in Python API * fix AST bugs * fix parsing of hexadecimal numbers * fix assignment aggregates * fix overflows in IESolver ------------------------------------------------------------------- Tue Mar 11 10:32:51 UTC 2025 - Markéta Machová <mmachova@suse.com> - BuildRequire python3-setuptools to fix build on python 3.13 ------------------------------------------------------------------- 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)
