Linus

Apparently, [this version of the plugin](https://github.com/znck/grammarly/tree/v0) already uses the internal APIs. It is probably possible to switch back.

> Hi, > > There is some configuration in order to avoid Grammarly to check the Latex comments? It's actually not hard to add to this repo. You add a...

This might depend on https://github.com/moves-rwth/storm/issues/528, but we can also just add a check everywhere for now

Thanks for your thorough reply! Good to know that ComponentArrays isn't doing anything. The offending line seems to be this one: https://github.com/FluxML/Optimisers.jl/blob/8a37946ea8638642d40eae210fd5c882e3f1cff9/src/destructure.jl#L103 I wonder if just using `ProjectTo` a bit...

Thanks you! Weird that it is so slow.

"Who is responsible" for simplifying the model is inconsistent: for feasibility and monotonicity, this is done by storm-pars.cpp and cannot be disabled by the user: ``` // TODO: why only...

The simplification is definitely method-specific and it can also be intransparent to the user when simplification is happening and when it isn't. For instance, when monotonicity tells me that the...