z3-src 501.0.0

Source distribution of the Z3 SMT solver, for use as a build dependency
Documentation 
1
2
3
4
5
6
7
8
9

steps:
- script: |
    cd build
    mkdir -p examples/java
    cp ../examples/java/JavaExample.java examples/java/
    javac examples/java/JavaExample.java -classpath com.microsoft.z3.jar
    export LD_LIBRARY_PATH=$(pwd):${LD_LIBRARY_PATH}
    java -cp .:examples/java:com.microsoft.z3.jar JavaExample
    cd ..