| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: lua-clingo | Distribution: openSUSE Tumbleweed |
| Version: 5.8.0 | Vendor: openSUSE |
| Release: 1.1 | Build date: Mon Jul 7 20:15:25 2025 |
| Group: Development/Tools/Other | Build host: reproducible |
| Size: 145064 | Source RPM: clingo-5.8.0-1.1.src.rpm |
| Packager: http://bugs.opensuse.org | |
| Url: https://potassco.org/clingo/ | |
| Summary: Lua bindings for Clingo | |
Lua bindings for Clingo, a grounder and solver for logic programs. Detailed information (including a User's manual), source code, and pre-compiled binaries are available at: http://potassco.org/
MIT
* Mon Jul 07 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 2025 Markéta Machová <mmachova@suse.com>
- BuildRequire python3-setuptools to fix build on python 3.13
* Mon Dec 05 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 01 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 2021 Christian Goll <cgoll@suse.com>
- added python-cffi as Requires (boo#1193712)
* Thu Nov 18 2021 Antoine Ginies <aginies@suse.com>
- create a sub lib package
* Wed Sep 29 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 2021 Antoine Ginies <aginies@suse.com>
- first release for SUSE (from fedora spec)
/usr/lib/lua/5.4/clingo.so
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu Oct 23 22:58:29 2025