pool/clingo
SHA256
17
0
Fork 1
Code Issues Pull Requests Activity

Commit Graph

  • 662b78c1fa Accepting request 1300102 from devel:languages:misc factory Ana Guerrero 2025-08-19 14:44:03 +00:00
  • 40dde82a0d - 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 Ana Guerrero 2025-08-18 14:53:31 +00:00
  • 462342b54e Accepting request 1254417 from devel:languages:misc leap-16.1 leap-16.0 Ana Guerrero 2025-03-19 21:34:16 +00:00
  • 6cf6aaaece - BuildRequire python3-setuptools to fix build on python 3.13 Antoine Ginies 2025-03-19 13:39:21 +00:00
  • 81989d52be Accepting request 1094387 from devel:languages:misc Dominique Leuenberger 2023-06-21 20:40:26 +00:00
  • 3eb4839960 Accepting request 1094368 from home:eeich:clingo Antoine Ginies 2023-06-21 14:36:46 +00:00
  • 27496487cf Accepting request 1042293 from devel:languages:misc Dominique Leuenberger 2022-12-12 16:39:48 +00:00
  • 5f4872b7d1 Accepting request 1040274 from home:dirkmueller:Factory Antoine Ginies 2022-12-12 09:44:00 +00:00
  • e21a8eb41d Accepting request 1000899 from devel:languages:misc Dominique Leuenberger 2022-09-02 19:56:56 +00:00
  • 94c2e75125 Accepting request 1000525 from home:StevenK:branches:devel:languages:misc Antoine Ginies 2022-09-02 13:33:50 +00:00
  • fe2dfb2dc8 Accepting request 946208 from devel:languages:misc Dominique Leuenberger 2022-01-13 22:21:45 +00:00
  • 85c2ffdfd9 Accepting request 940422 from home:mslacken:sp Antoine Ginies 2022-01-13 18:45:24 +00:00
  • c6a9c752d5 Accepting request 932302 from devel:languages:misc Dominique Leuenberger 2021-11-21 22:51:51 +00:00
  • 28c71251aa Accepting request 932288 from home:aginies:branches:devel:languages:misc Anna Maresova 2021-11-18 15:54:30 +00:00
  • a65b21db60 Accepting request 932174 from home:aginies Anna Maresova 2021-11-18 11:08:45 +00:00
  • 8417c4fab6 Accepting request 931507 from home:aginies Anna Maresova 2021-11-16 09:53:07 +00:00