4.0.0 com.github.hycos regex2smtlib 1.0 jar ${project.groupId}:${project.artifactId} A regular expression to SMT-LIB constraint translator https://github.com/hycos/regex2smtlib UTF-8 1.8 10 10 10 10 1.6 3.0.1 1.7.25 5.0.1 3.6 2.5.0.Final 1.8.3 0.8.1 MIT License http://www.opensource.org/licenses/mit-license.php Julian Thomé julian.thome.de@gmail.com scm:git:git://github.com/hycos/regex2smtlib.git scm:git:ssh://github.com:hycos/regex2smtlib.git https://github.com/hycos/regex2smtlib/tree/master ossrh https://oss.sonatype.org/content/repositories/snapshots ossrh https://oss.sonatype.org/service/local/staging/deploy/maven2/ org.apache.maven.plugins maven-source-plugin 3.0.1 attach-sources jar-no-fork maven-compiler-plugin 3.3 ${java.version.source} ${java.version.target} org.apache.maven.plugins maven-surefire-plugin 2.19.1 ${argLine} -Xms1024m -Xmx2048m org.apache.maven.plugins maven-gpg-plugin ${gpgplugin.version} sign-artifacts verify sign org.jacoco jacoco-maven-plugin ${jacoco.version} prepare-agent report test report org.apache.maven.plugins maven-javadoc-plugin ${javadocplugin.version} attach-javadocs jar -html5 org.jacoco jacoco-maven-plugin report org.junit.jupiter junit-jupiter-api ${junit.version} test org.junit.jupiter junit-jupiter-engine ${junit.version} test org.apache.commons commons-lang3 ${commonslang.version} org.slf4j slf4j-api ${slf4j.version} org.slf4j slf4j-simple ${slf4j.version} com.github.julianthome inmemantlr-api 1.6 org.trimou trimou-core ${trimou.version} org.testcontainers testcontainers ${testcontainers.version} test