Philipp Wendler

Doesn't "wontfix" mean this should be closed?

Should formulas could never be exported to SmtLib, right?

Won't this be addressed or at least worked around such that CI is useful again and won't be ignored by developers? Currently, everything is always red and it seems that...

I just stumbled over [Google's TestParameterInjector](https://github.com/google/TestParameterInjector), which is an alternative to JUnit's parameterized tests and supports JUnit 5. It actually seems nicer than JUnit's feature because you can for example...

Ok, I wasn't aware of this. If one can do nothing with these formulas, I am not sure whether it is better to have the API or not.

The desire to have one application in one directory and be able to execute it directly from this directory on different architectures seems like a niche use case that is...

> A developer on Windows uses CPAchecker and then want to use the VCloud for benchmarking. He will be happy, if no changes are required. The same might apply for...

> For CPAchecker, all libraries are currently automatically stored under `lib/java/runtime`. > Should we change the build process to somehow store the native binaries in `lib/native/$arch-$os/`? Would that be the...

> One possibility is a direct check for the available system and then act correspondingly and download ony a subset of the solver binaries. Do we want to have such...

What's the current state for this? I think the most important point is that declaring a variable like `select`, `store`, etc. either fails consistently with all solvers or is supported...