Arnaud Malapert

Beside checkstyle, you could also provide custom formatter for Eclipse and IntellijIdea. However, I hope that it is doable (see [here](http://stackoverflow.com/questions/36432438/importing-code-style-formatting-settings-into-eclipse-from-intellij-idea)).

It is maybe not as difficult as it was (see this [post](https://blog.jetbrains.com/idea/2014/01/intellij-idea-13-importing-code-formatter-settings-from-eclipse/)).

Here is a few related links : - https://github.com/HPI-Information-Systems/Metanome/wiki/Installing-the-google-styleguide-settings-in-intellij-and-eclipse - https://github.com/krasa/EclipseCodeFormatter - https://blog.jetbrains.com/idea/2014/10/intellij-idea-14-will-detect-code-styles-on-the-fly/ - https://plugins.jetbrains.com/plugin/6546 Good luck !

I believe that it is a good idea if you like their code style. The first link of my previous post show that their style can be easily integrated within...

Let's go for the google code style ! I will give you feedback after the eclipse integration.

Hi, Just a comment on the global random generator proposal. Using a single global random generator could break reproducibility even without parallelism. I would suggest to use a global random...

> Now, talking about auxiliary or decision variables is another topic, I believe. Yes. Could there be a setting to disable the checks because the constants are low ?

Hi Charles, I missed your answer, but my investigation leads me to the same conclusion. I understand that it is risky to have different behaviours of post and decompose.post only...

Hi, I have another question related to the expression. What has changed since version 4.10.6 ? In 4.10.10, I have some tests that now raise an exception stating that I...

> Can you share an example? Not now because it it not immediate to extract a minimal complete example from my code. But, I will do it for Monday.