-
Simon Barner authored
* Supported platforms * x64: Windows, Linux, Mac * x86: Windows * Packaged Z3 source code into src Jar. Issue-Ref: 3675 Issue-Url: https://af3-developer.fortiss.org/issues/3675 Signed-off-by: Simon Barner <barner@fortiss.org>
00aa420d