pool/clingo
SHA256
17
0
Fork 1
Code Issues Pull Requests Activity
16 Commits 3 Branches 0 Tags
factory
Commit Graph

16 Commits

This Branch
This Branch
All Branches
Author SHA256 Message Date
Ana Guerrero
10a3ff84e5 Accepting request 1300102 from devel:languages:misc 
OBS-URL: https://build.opensuse.org/request/show/1300102
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/clingo?expand=0&rev=7
 2025-08-19 14:44:03 +00:00
Ana Guerrero
4a986000be Accepting request 1291129 from home:mathletic:branches:devel:languages:misc 
- 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

OBS-URL: https://build.opensuse.org/request/show/1291129
OBS-URL: https://build.opensuse.org/package/show/devel:languages:misc/clingo?expand=0&rev=14
 2025-08-18 14:53:31 +00:00
Ana Guerrero
d6abc1ad89 Accepting request 1254417 from devel:languages:misc 
OBS-URL: https://build.opensuse.org/request/show/1254417
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/clingo?expand=0&rev=6
 2025-03-19 21:34:16 +00:00
Antoine Ginies
a9eaa9247c Accepting request 1252014 from home:mcalabkova:branches:devel:languages:misc 
- BuildRequire python3-setuptools to fix build on python 3.13

OBS-URL: https://build.opensuse.org/request/show/1252014
OBS-URL: https://build.opensuse.org/package/show/devel:languages:misc/clingo?expand=0&rev=12
 2025-03-19 13:39:21 +00:00
Dominique Leuenberger
209aef5e20 Accepting request 1094387 from devel:languages:misc 
OBS-URL: https://build.opensuse.org/request/show/1094387
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/clingo?expand=0&rev=5
 2023-06-21 20:40:26 +00:00
Antoine Ginies
aa8d4ec62c Accepting request 1094368 from home:eeich:clingo 
Add bigzilla entry (bsc#1212554).
- Mark the license file using %license macro.

OBS-URL: https://build.opensuse.org/request/show/1094368
OBS-URL: https://build.opensuse.org/package/show/devel:languages:misc/clingo?expand=0&rev=10
 2023-06-21 14:36:46 +00:00
Dominique Leuenberger
6d36a88e89 Accepting request 1042293 from devel:languages:misc 
OBS-URL: https://build.opensuse.org/request/show/1042293
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/clingo?expand=0&rev=4
 2022-12-12 16:39:48 +00:00
Antoine Ginies
f67f57d4e1 Accepting request 1040274 from home:dirkmueller:Factory 
- 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

OBS-URL: https://build.opensuse.org/request/show/1040274
OBS-URL: https://build.opensuse.org/package/show/devel:languages:misc/clingo?expand=0&rev=8
 2022-12-12 09:44:00 +00:00
Dominique Leuenberger
fb63aebbc2 Accepting request 1000899 from devel:languages:misc 
OBS-URL: https://build.opensuse.org/request/show/1000899
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/clingo?expand=0&rev=3
 2022-09-02 19:56:56 +00:00
Antoine Ginies
5c01fd63e6 Accepting request 1000525 from home:StevenK:branches:devel:languages:misc 
- Do not use python_module macro, which requires other macros to fire
  correctly.
- Mark the license file using %license macro.

OBS-URL: https://build.opensuse.org/request/show/1000525
OBS-URL: https://build.opensuse.org/package/show/devel:languages:misc/clingo?expand=0&rev=6
 2022-09-02 13:33:50 +00:00
Dominique Leuenberger
f8da08e3c3 Accepting request 946208 from devel:languages:misc 
OBS-URL: https://build.opensuse.org/request/show/946208
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/clingo?expand=0&rev=2
 2022-01-13 22:21:45 +00:00
Antoine Ginies
48b2ff4b4c Accepting request 940422 from home:mslacken:sp 
- added python-cffi as Requires (boo#1193712)

OBS-URL: https://build.opensuse.org/request/show/940422
OBS-URL: https://build.opensuse.org/package/show/devel:languages:misc/clingo?expand=0&rev=5
 2022-01-13 18:45:24 +00:00
Dominique Leuenberger
36b9db4cce Accepting request 932302 from devel:languages:misc 
- Add new package 'clingo' to openSUSE:Factory.
  needed for spack (jsc#SLE-2267)

OBS-URL: https://build.opensuse.org/request/show/932302
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/clingo?expand=0&rev=1
 2021-11-21 22:51:51 +00:00
Anna Maresova
666047a7cd Accepting request 932288 from home:aginies:branches:devel:languages:misc 
- create a sub lib package

OBS-URL: https://build.opensuse.org/request/show/932288
OBS-URL: https://build.opensuse.org/package/show/devel:languages:misc/clingo?expand=0&rev=3
 2021-11-18 15:54:30 +00:00
Anna Maresova
821db28d8f Accepting request 932174 from home:aginies 
fix tarball

OBS-URL: https://build.opensuse.org/request/show/932174
OBS-URL: https://build.opensuse.org/package/show/devel:languages:misc/clingo?expand=0&rev=2
 2021-11-18 11:08:45 +00:00
Anna Maresova
b42673f975 Accepting request 931507 from home:aginies 
Clingo is needed for next generation of spack version (>=17) and will be the default solver used by default.

OBS-URL: https://build.opensuse.org/request/show/931507
OBS-URL: https://build.opensuse.org/package/show/devel:languages:misc/clingo?expand=0&rev=1
 2021-11-16 09:53:07 +00:00