4.0.0 org.kframework.k parent 4.0-beta4-SNAPSHOT java-backend jar K Framework Java Backend org.pcollections pcollections 2.1.2 org.kframework.k kernel ${project.version} org.kframework.k kernel ${project.version} test-jar test uk.com.robust-it cloning 1.9.2 com.microsoft.z3 com.microsoft.z3 4.3.2-bb56885147e4 com.microsoft.z3 libz3java 4.3.2-bb56885147e4 so linux64 com.microsoft.z3 libz3 4.3.2-bb56885147e4 so linux64 com.microsoft.z3 z3 4.3.2-bb56885147e4 uexe linux64 com.microsoft.z3 libz3java 4.3.2-bb56885147e4 so linux32 com.microsoft.z3 libz3 4.3.2-bb56885147e4 so linux32 com.microsoft.z3 z3 4.3.2-bb56885147e4 uexe linux32 com.microsoft.z3 libz3java 4.3.2-bb56885147e4 dylib osx com.microsoft.z3 libz3 4.3.2-bb56885147e4 dylib osx com.microsoft.z3 z3 4.3.2-bb56885147e4 uexe osx com.microsoft.z3 z3java 4.3.2-bb56885147e4 dll windows64 com.microsoft.z3 libz3 4.3.2-bb56885147e4 dll windows64 com.microsoft.z3 z3 4.3.2-bb56885147e4 exe windows64 com.microsoft.z3 z3java 4.3.2-bb56885147e4 dll windows32 com.microsoft.z3 libz3 4.3.2-bb56885147e4 dll windows32 com.microsoft.z3 z3 4.3.2-bb56885147e4 exe windows32 com.microsoft.z3 vcomp100 10.0 dll windows64 com.microsoft.z3 msvcp100 10.0 dll windows64 com.microsoft.z3 msvcr100 10.0 dll windows64 com.microsoft.z3 vcomp100 10.0 dll windows32 com.microsoft.z3 msvcp100 10.0 dll windows32 com.microsoft.z3 msvcr100 10.0 dll windows32 maven-dependency-plugin 2.8 copy-native-dependencies copy-dependencies true true so,dylib,dll ${native.classifier},${native.os.classifier} runtime ${project.build.directory}/lib/native maven-surefire-plugin 2.17 ${env.LD_LIBRARY_PATH}${path.separator}${project.build.directory}/lib/native ${env.DYLD_LIBRARY_PATH}${path.separator}${project.build.directory}/lib/native ${env.PATH}${path.separator}${project.build.directory}/lib/native