4.0.0 org.bitbucket.xaviergillard SolverCheck 1.0.3 org.bitbucket.xaviergillard:SolverCheck Efficient testing of constraints in JVM-based CP solvers. https://bitbucket.org/xaviergillard/solvercheck/ MIT License http://www.opensource.org/licenses/mit-license.php Xavier Gillard xavier.gillard@uclouvain.be UCLouvain http://www.uclouvain.be scm:git:ssh://git@bitbucket.org/xaviergillard/solvercheck.git scm:git:ssh://git@bitbucket.org:/xaviergillard/solvercheck.git https://bitbucket.org/xaviergillard/solvercheck/src HEAD ossrh https://oss.sonatype.org/content/repositories/snapshots UTF-8 3.5.1 1.10 1.10 2.2.1 2.9.1 1.6.7 1.6 3.7.1 3.0.0 0.8.2 1.4.2 3.1.9 Max Low org.assertj assertj-core 3.11.1 junit junit 4.12 test org.mockito mockito-core 2.22.0 test default org.apache.maven.plugins maven-compiler-plugin ${maven.compiler.version} ${maven.compiler.target} ${maven.compiler.source} release org.apache.maven.plugins maven-compiler-plugin ${maven.compiler.version} ${maven.compiler.target} ${maven.compiler.source} org.apache.maven.plugins maven-source-plugin ${maven.source.version} attach-sources jar-no-fork org.apache.maven.plugins maven-javadoc-plugin ${maven.javadoc.version} attach-javadocs jar org.sonatype.plugins nexus-staging-maven-plugin ${nexus.version} true ossrh https://oss.sonatype.org/ true org.apache.maven.plugins maven-gpg-plugin ${gpg.version} sign-artifacts verify sign QA org.apache.maven.plugins maven-site-plugin ${site.version} org.pitest pitest-maven ${pitest.version} MutationsCoverage verify mutationCoverage be.uclouvain.solvercheck.* be.uclouvain.solvercheck.* org.jacoco jacoco-maven-plugin ${jacoco.version} prepare-agent report verify report org.apache.maven.plugins maven-javadoc-plugin ${maven.javadoc.version} org.apache.maven.plugins maven-checkstyle-plugin ${checkstyle.version} ./checkstyle.xml ${project.build.sourceDirectory} com.github.spotbugs spotbugs-maven-plugin ${spotbugs.version} ${spotbugs.effort} ${spotbugs.threshold} org.pitest pitest-maven ${pitest.version} report org.jacoco jacoco-maven-plugin ${jacoco.version} report fast org.apache.maven.plugins maven-site-plugin ${site.version} org.jacoco jacoco-maven-plugin ${jacoco.version} prepare-agent report verify report org.apache.maven.plugins maven-checkstyle-plugin ${checkstyle.version} ./checkstyle.xml ${project.build.sourceDirectory} com.github.spotbugs spotbugs-maven-plugin ${spotbugs.version} ${spotbugs.effort} ${spotbugs.threshold} org.jacoco jacoco-maven-plugin ${jacoco.version} report