4.0.0 info.scce addlib-parent 4.0.1 pom ADDLib :: Parent The Java Library for Algebraic Decision Diagrams, Code Generation, and Layouting https://add-lib.scce.info 3-Clause BSD License https://opensource.org/license/bsd-3-clause/ Frederik Gossen frederik.gossen@{tu-dortmund.de, ul.ie} TU Dortmund University, University of Limerick Alnis Murtovi alnis.murtovi@tu-dortmund.de TU Dortmund University Markus Frohme markus.frohme@tu-dortmund.de TU Dortmund University Jan Feider jan.feider@tu-dortmund.de TU Dortmund University Jan Linden jan.linden@tu-dortmund.de TU Dortmund University Bernhard Steffen bernhard.steffen@tu-dortmund.de TU Dortmund University api build-parent build-tools bundle core cudd sylvan util viewer scm:git:https://gitlab.com/scce/add-lib.git scm:git:git@gitlab.com:scce/add-lib.git https://gitlab.com/scce/add-lib addlib-4.0.1 sonatype https://central.sonatype.com sonatype https://central.sonatype.com/repository/maven-snapshots/ local file://${user.home}/addlib-site UTF-8 11 11 11 1.11.1 0.8.0 3.48.3 10.26.1 3.6.0 2.11.0 3.13.0 3.8.1 3.1.3 3.8.0 0.8.12 3.0.1 3.11.2 1.35 3.1.0 3.9.0 3.2.7 3.4.2 3.3.1 3.3.1 3.5.2 1.11 3.26.0 3.1.0 3.21.0 2.0.16 4.9.3.2 7.10.2 1.3.0 https://checkerframework.org/releases/${checkerframework.version}/api/ https://docs.oracle.com/javase/11/docs/api/ info.scce addlib ${project.version} pom info.scce addlib-api ${project.version} info.scce addlib-build-tools ${project.version} info.scce addlib-core ${project.version} info.scce addlib-cudd ${project.version} info.scce addlib-sylvan ${project.version} info.scce addlib-util ${project.version} info.scce addlib-viewer ${project.version} commons-io commons-io ${commons-io.version} org.checkerframework checker-qual ${checkerframework.version} org.openjdk.jmh jmh-core ${jmh.version} org.slf4j slf4j-api ${slf4j.version} org.kohsuke.metainf-services metainf-services ${metainf-services.version} provided com.github.caciocavallosilano cacio-tta ${cacio.version} test org.testng testng ${testng.version} test org.apache.maven.plugins maven-antrun-plugin ${maven-antrun-plugin.version} org.apache.maven.plugins maven-compiler-plugin ${compiler-plugin.version} org.kohsuke.metainf-services metainf-services ${metainf-services.version} org.apache.maven.plugins maven-resources-plugin ${maven-resources-plugin.version} org.apache.maven.plugins maven-invoker-plugin ${maven-invoker-plugin.version} org.apache.maven.plugins maven-jar-plugin ${maven-jar-plugin.version} org.apache.maven.plugins maven-surefire-plugin ${maven-surefire-plugin.version} org.codehaus.mojo javacc-maven-plugin ${javacc-plugin.version} javacc javacc org.apache.maven.plugins maven-source-plugin ${maven-source-plugin.version} org.apache.maven.plugins maven-javadoc-plugin ${javadoc-plugin.version} true true false ${java11.apidocs} ${checkerframework.apidocs} org.sonatype.central central-publishing-maven-plugin ${central-publish-plugin.version} org.apache.maven.plugins maven-deploy-plugin ${deploy-plugin.version} org.apache.maven.plugins maven-gpg-plugin ${maven-gpg-plugin.version} com.github.spotbugs spotbugs-maven-plugin ${spotbugs-plugin.version} org.apache.maven.plugins maven-site-plugin ${site-plugin.version} true org.apache.maven.plugins maven-project-info-reports-plugin ${info-reports-plugin.version} org.apache.maven.plugins maven-pmd-plugin ${pmd-plugin.version} true true false target/generated-sources org.apache.maven.plugins maven-checkstyle-plugin ${checkstyle-plugin.version} org.jacoco jacoco-maven-plugin ${jacoco-plugin.version} prepare-report prepare-agent report test report org.codehaus.mojo tidy-maven-plugin ${tidy-pom.version} org.apache.maven.plugins maven-dependency-plugin ${dependency-plugin.version} org.apache.maven.plugins maven-release-plugin ${release-plugin.version} true addlib-@{version} clean test docker,docker-prepare-release,profiling,code-analysis,jlink deploy release,!examples,!docker,!docker-prepare-release,!profiling,!code-analysis,!jlink org.apache.maven.plugins maven-site-plugin attach-descriptor false attach-descriptor release org.apache.maven.plugins maven-source-plugin attach-sources jar-no-fork org.apache.maven.plugins maven-javadoc-plugin attach-javadocs jar org.sonatype.central central-publishing-maven-plugin true ADDLib ${project.version} sonatype addlib-examples org.apache.maven.plugins maven-gpg-plugin sign-artifacts verify sign code-coverage org.apache.maven.plugins maven-antrun-plugin touch-jacoco generate-test-resources run org.jacoco jacoco-maven-plugin code-analysis org.codehaus.mojo tidy-maven-plugin validate verify check org.apache.maven.plugins maven-dependency-plugin analyze analyze-only true true docker docker examples !addlib.release examples profiling profiling