Baier D.

@breandan could you try replacing the dot in `org.sosy-lab` with a `/` and report back? (`org/sosy-lab`) If that does not help, could you copy & paste your `repositories` section from...

Ah i think i know whats causing the problem. Please try using the following repository options: ``` repositories { mavenCentral { metadataSources { mavenPom() } } mavenCentral { metadataSources {...

Now try version `4.8.10` please. We are a little behind in releases currently. But i will try to update Z3 this week!

@breandan all versions up to and including `4.8.15` are now available (thanks to @kfriedberger). @d-costa thank you for your input! I'll update the Gradle example project with your solutions!

@d-costa i've added a Kotlin example similar to the existing Gradle example. Could you take a look/try it out and report back? Its located parallel to the existing example in...

Thank you very much for that! @d-costa no there is no real reason. I tried different options and that stuck. Would it be more in line with Kotlin to use...

Just a quick update on the topic: I don't think its a good time to migrate just yet because some features are not yet supported by JUnit 5. Most importantly...

They state that they want to add it ["soon"](https://github.com/junit-team/junit5/issues/878#issuecomment-546459081) so we should just monitor the situation.

Pro renaming and downloading all binaries: CPAchecker uses different systems (VCloud, Ubuntu w 64bit, Raspberry Pi etc.). Clear and easy to understand for users. Contra renaming: User has increased memory...

The global declarations are an available option for the SMT2 parser as far as i understood it though. Could be useful for parsing as the formulas may now stay in...