-
Simon Barner authored
* Download z3-4.7.1.zip * cd z3-4.7.1/z3rel/src/api/java * mkdir -p com/microsoft/z3 * jar cf com.microsoft.z3-src.jar com Issue-Ref: 3467 Issue-Url: https://af3-developer.fortiss.org/issues/3467 Signed-off-by: Simon Barner <barner@fortiss.org>
662f3416