Ana Guerrero
40dde82a0d
* 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 OBS-URL: https://build.opensuse.org/package/show/devel:languages:misc/clingo?expand=0&rev=14
85 lines
3.1 KiB
Plaintext
85 lines
3.1 KiB
Plaintext
-------------------------------------------------------------------
|
|
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)
|