4.0.0 io.github.o2alexanderfedin.javafv java-fv-parent 13.1 compiler-plugin jar Java-FV Compiler Plugin Javac plugin for formal verification constraint inference io.github.o2alexanderfedin.javafv java-fv-annotations compile com.google.guava guava org.slf4j slf4j-api ch.qos.logback logback-classic com.google.code.gson gson 2.10.1 io.github.o2alexanderfedin.javafv verifier ${project.version} tools.aqua z3-turnkey 4.14.1 org.immutables value provided org.checkerframework checker-qual com.google.auto.service auto-service provided com.google.auto.service auto-service-annotations me.tongfei progressbar 0.10.0 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 org.mockito mockito-core test org.mockito mockito-junit-jupiter test org.eclipse.jgit org.eclipse.jgit 6.8.0.202311291450-r test com.networknt json-schema-validator 1.5.5 test org.openjdk.jmh jmh-core 1.37 test org.openjdk.jmh jmh-generator-annprocess 1.37 test org.apache.maven.plugins maven-compiler-plugin com.google.auto.service auto-service ${auto-service.version} org.immutables value ${immutables.version}