4.0.0 io.github.o2alexanderfedin.javafv java-fv-parent 1.2.0 java-fv-yices jar Java-FV Yices Solver Yices2 SMT solver backend for Java-FV (GPLv3 licensed) GNU General Public License, Version 3 https://www.gnu.org/licenses/gpl-3.0.html io.github.o2alexanderfedin.javafv verifier ${project.version} 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.assertj assertj-core test org.mockito mockito-core test org.mockito mockito-junit-jupiter test com.googlecode.maven-download-plugin download-maven-plugin download-yices-linux-x86_64 generate-resources wget https://github.com/SRI-CSL/yices2/releases/download/yices-${yices.version}/yices-${yices.version}-x86_64-pc-linux-gnu-static-gmp.tar.gz true ${project.build.directory}/yices-downloads/linux-x86_64 yices-linux-x86_64.tar.gz false false download-yices-macos-x86_64 generate-resources wget https://github.com/SRI-CSL/yices2/releases/download/yices-${yices.version}/yices-${yices.version}-x86_64-apple-darwin21.6.0-static-gmp.tar.gz true ${project.build.directory}/yices-downloads/macos-x86_64 yices-macos-x86_64.tar.gz false false download-yices-macos-arm64 generate-resources wget https://github.com/SRI-CSL/yices2/releases/download/yices-${yices.version}/yices-${yices.version}-arm-apple-darwin24.5.0-static-gmp.tar.gz true ${project.build.directory}/yices-downloads/macos-arm64 yices-macos-arm64.tar.gz false false org.apache.maven.plugins maven-antrun-plugin 3.1.0 copy-yices-binaries process-resources run