4.0.0 io.github.o2alexanderfedin.javafv java-fv-parent 1.2.0 verifier jar Java-FV Verifier Specification verifier using Z3/SMT io.github.o2alexanderfedin.javafv java-fv-annotations compile com.google.guava guava tools.aqua z3-turnkey 4.14.1 org.checkerframework checker-qual org.slf4j slf4j-api ch.qos.logback logback-classic org.junit.jupiter junit-jupiter-api test org.junit.jupiter junit-jupiter-engine test org.junit.jupiter junit-jupiter-params test org.assertj assertj-core test com.googlecode.maven-download-plugin download-maven-plugin download-cvc5-linux-x86_64 generate-resources wget https://github.com/cvc5/cvc5/releases/download/cvc5-${cvc5.version}/cvc5-Linux-x86_64-static.zip true ${project.build.directory}/cvc5-downloads/linux-x86_64 cvc5-linux-x86_64.zip false false download-cvc5-macos-x86_64 generate-resources wget https://github.com/cvc5/cvc5/releases/download/cvc5-${cvc5.version}/cvc5-macOS-x86_64-static.zip true ${project.build.directory}/cvc5-downloads/macos-x86_64 cvc5-macos-x86_64.zip false false download-cvc5-macos-arm64 generate-resources wget https://github.com/cvc5/cvc5/releases/download/cvc5-${cvc5.version}/cvc5-macOS-arm64-static.zip true ${project.build.directory}/cvc5-downloads/macos-arm64 cvc5-macos-arm64.zip false false org.apache.maven.plugins maven-antrun-plugin 3.1.0 copy-cvc5-binaries process-resources run