4.0.0 ca.mcmaster.cas Matlab2SMT 1.0-SNAPSHOT jar Matlab2SMT http://maven.apache.org UTF-8 junit junit 4.11 test org.antlr antlr4-runtime 4.0 org.apache.commons commons-lang3 3.1 org.antlr antlr4-maven-plugin 4.0 src/main/java antlr4 org.apache.maven.plugins maven-compiler-plugin 2.3.2 true 1.6 1.6 org.apache.maven.plugins maven-assembly-plugin 2.2 jar-with-dependencies ca.mcmaster.cas.matlab2smt.App package single