6cf6aaaece
OBS-URL: https://build.opensuse.org/package/show/devel:languages:misc/clingo?expand=0&rev=12
61 lines
2.3 KiB
Plaintext
61 lines
2.3 KiB
Plaintext
-------------------------------------------------------------------
|
|
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)
|