4.0.0 3.0 ca.mcscert.jtet jtet 1.0 jar jTET Library to handle Tabular Expressions, including a generic in memory representation, proof checkers, and code generators. https://groke.cas.mcmaster.ca/gitlab/tables/jtet BSD Free for open or commercial use, with credit line http://www.linfo.org/bsdlicense.html repo https://groke.cas.mcmaster.ca/gitlab/tables/jtet scm:git:https://groke.cas.mcmaster.ca/gitlab/tables/jtet.git scm:git:git@groke.cas.mcmaster.ca:tables/jtet.git HEAD mjdsys Matthew Dawson matthew@mjdsystems.ca developer jiangy76 Yanjun Jiang jiangy76@mcmaster.ca developer UTF-8 junit junit 4.12 test org.antlr antlr4-runtime 4.5 org.apache.commons commons-lang3 3.3.2 org.antlr antlr4-maven-plugin 4.5 src/main/java antlr4 org.apache.maven.plugins maven-compiler-plugin 3.1 true 1.6 1.6 org.apache.maven.plugins maven-assembly-plugin 2.4.1 jar-with-dependencies package single org.apache.maven.plugins maven-clean-plugin 2.5 org.apache.maven.plugins maven-deploy-plugin 2.8.1 org.apache.maven.plugins maven-install-plugin 2.5.1 org.apache.maven.plugins maven-jar-plugin 2.5 org.apache.maven.plugins maven-resources-plugin 2.6 org.apache.maven.plugins maven-site-plugin 3.4 org.apache.maven.plugins maven-surefire-plugin 2.17 org.apache.maven.plugins maven-javadoc-plugin 2.10 verify javadoc jar *.antlr org.apache.maven.plugins maven-gpg-plugin 1.6 sign-artifacts verify sign D16B88B9B969A4C78A4BE6C64725BF17E528FE9E org.apache.maven.plugins maven-source-plugin 2.3 attach-sources jar-no-fork org.sonatype.oss oss-parent 9