4.0.0 es.us.isa idl-reasoner 0.0.2 IDLReasoner A MiniZinc-based Java library for analyzing IDL specifications https://github.com/isa-group/IDLReasoner GNU General Public License v3 (GPLv3) https://www.gnu.org/licenses/gpl-3.0.txt Martin-Lopez Alberto Martin-Lopez amarlop@us.es http://personal.us.es/amarlop/ University of Seville http://www.us.es Developer scm:git:https://github.com/isa-group/IDLReasoner.git scm:git:https://github.com/isa-group/IDLReasoner.git https://github.com/isa-group/IDLReasoner/tree/master idl-reasoner-0.0.2 ossrh https://oss.sonatype.org/content/repositories/snapshots ossrh https://oss.sonatype.org/service/local/staging/deploy/maven2/ org.apache.maven.plugins maven-compiler-plugin 8 8 org.apache.maven.plugins maven-assembly-plugin 3.3.0 make-assembly package single es.us.isa.idlreasoner.analyzer.Analyzer true true idlreasoner false jar-with-dependencies org.sonatype.plugins nexus-staging-maven-plugin 1.6.8 true ossrh https://oss.sonatype.org/ true org.apache.maven.plugins maven-source-plugin 3.2.1 attach-sources jar-no-fork org.apache.maven.plugins maven-javadoc-plugin 3.2.0 attach-javadocs jar org.apache.maven.plugins maven-gpg-plugin 1.6 sign-artifacts verify sign org.apache.maven.plugins maven-release-plugin 3.0.0-M1 true false release deploy org.eclipse.xtext org.eclipse.xtext 2.22.0 commons-io commons-io 2.6 org.apache.logging.log4j log4j-api 2.10.0 org.apache.logging.log4j log4j-core 2.13.2 org.eclipse.xtext org.eclipse.xtext 2.22.0 io.swagger.core.v3 swagger-core 2.1.2 io.swagger.parser.v3 swagger-parser 2.0.19 org.junit.jupiter junit-jupiter-api 5.5.2 test com.google.inject guice 4.2.3 es.us.isa idl 0.0.1