Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
Please login to access the resource
devel:languages:misc
clingo
clingo.changes
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File clingo.changes of Package clingo
------------------------------------------------------------------- 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)
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
