Roland Kaminski

Build Error on Cygwin

2

**Describe the bug** A clear and concise description of what the bug is. I get the following error using gcc 11.3.0 on cygwin: ``` /cygdrive/c/projects/clingo/third_party/catch/src/catch2/../catch2/catch_tostring.hpp:214:33: error: there are no arguments...

Add an erase_if function

8

This PR adds an `erase_if` function to the map that removes all elements that satisfy a predicate. The function preserves the insertion order shifting elements if necessary. It runs in...

This PR switches to C++17 and refines the cmake configuration. The motivation was to make plasp compile on MacOS (which failed badly). Like this, it should in principle even compile...

It would be nice to modify the theory data of the control object. This would further extend #313 by also allowing the user to delete/update theory data. Edit: delayed because...

Symbols are stored globally and never freed.

10

Clingo internalizes symbols in global hash tables to only allocate memory for the same symbol once. Currently, symbols are never removed form this hash table. When an application runs for...

SolveHandles should implement Python's asynchronous iterators

1

See [asynchronous iterators] in the Python reference. [asynchronous iterators]: https://docs.python.org/3/c-api/typeobj.html?highlight=async%20protocol#c.PyAsyncMethods

Often assignment aggregates are used in a very inefficient way. Typical patters are S = #sum { X : p(X) }, X > 10 or S = #sum { X...

See #86.

See #87.

Improve translation to clauses

1

The current translation for sum constraints only makes sense with two variables. With more variables, auxiliary variables for intermediate results should be introduced. I believe clingcon 3 had a similar...