Max Ostrowski

I actually quite like the new functions. I'm a bit unsure how the modify function is supposed to work. Does it still get the query selection criteria as input like...

I think the first version is completely sufficient and there is no need to make things "easier" but ambiguous.

Just encountered the same problem. Any new insights on this issue ? Thanks a lot.

This code ``` from dotmap import DotMap #x = {} x = DotMap() exec("print(42)", {}, x) ``` fails with the DotMap with the Error: `TypeError: 'DotMap' object is not callable`...

[test2.zip](https://github.com/potassco/clingcon/files/6121592/test2.zip) Here is an example, where all offline statistics (even number of frozen variables) are exactly the same. Still 150% performance boost when using `--single-shot`. What is the difference here,...

Is there a possibility from the API to check if the scripts have a callable "main" like Clingo does in ``` void ClingoControl::main(IClingoApp &app, StringVec const &files, const ClingoOptions& opts,...

It would be nice to be able to use the portfolio feature (--configuration=file) to also parse options added via the clingo API.

in https://github.com/potassco/clingcon/issues/57#issuecomment-796567423 i just added debug output to the Clasp::Solver::addLearnt function that shows that the size parameter is aleays 1 bigger without the `--single-shot` option for the given example and...

Everything but `optN` seems simply to implement. `optN` requires a full search and afterwards another full search. This could be done using multi-shot solving. There exists a callback for `on_finish`...

This was just meant as some brainstorming to identify missing features in the API. My suggestions actually sounds a bit unrelated, but what I had in mind was a kind...