Nicola Dardanis

Sorry for the delay, I was under pressure at work, since I am finishing my internship. Thank you very much for the guidance and the code. I have two questions...

@juhaku do you still plan on supporting the version 3.1? To my knowledge, that is the only version where mutual TLS support was added, and Rocket is supporting it. I...

The [above bug](https://github.com/Z3Prover/z3/issues/2650#issuecomment-1113448263) is confirmed in release 4.8.17 and was introduced in release **4.8.14**. It does not appear in releases 4.8.6 onwards until 4.8.13.

Soundness issue in releases **4.8.6** to **4.8.17**. ``` (declare-fun a () Real) (declare-fun b () Real) (declare-fun c () Real) (declare-fun d () Real) (assert (forall ((e Real)) (and (=...

Ok, then I will add more issue to this thread if I find more regarding z3str3