4.0.0
org.alloytools
pardinus
1.3.0
pom
${project.groupId}.${project.artifactId}
A temporal relational model finder, extending the Kodkod relational model finder.
https://github.com/haslab/Pardinus
MIT License
http://www.opensource.org/licenses/mit-license.php
Nuno Macedo
nuno.m.macedo@inesctec.pt
INESC TEC
http://inesctec.pt/en
scm:git:git://github.com/haslab/Pardinus.git
scm:git:ssh://github.com:haslab/Pardinus.git
http://github.com/haslab/Pardinus/tree/master
ossrh
https://oss.sonatype.org/content/repositories/snapshots
org.sonatype.plugins
nexus-staging-maven-plugin
1.6.7
true
ossrh
https://oss.sonatype.org/
false
org.apache.maven.plugins
maven-source-plugin
2.2.1
attach-sources
jar-no-fork
org.apache.maven.plugins
maven-javadoc-plugin
3.3.0
none
kodkod.doc.SpecificationTaglet
${project.groupId}
kodkod.taglets
1.0
specfield
requires
invariant
ensures
return
throws
modified
see
doc-files/kodkod.css
true
true
Kodkod/Pardinus API
Kodkod/Pardinus API
<br>Kodkod © <a href="http://homes.cs.washington.edu/~emina/" target="_top">Emina Torlak</a> 2005-present, Pardinus © INESC TEC 2015-present<br>
true
true
false
false
1.8
${basedir}/src/main/java:${basedir}/src/main/javadoc
true
false
kodkod.examples*
attach-javadocs
jar
org.apache.maven.plugins
maven-gpg-plugin
1.5
sign-artifacts
verify
sign
org.apache.maven.plugins
maven-compiler-plugin
3.5.1
1.8
1.8
org.apache.maven.plugins
maven-surefire-plugin
2.22.2
false
-Djava.library.path=${project.basedir}/src/main/resources
org.alloytools.pardinus.core
org.alloytools.pardinus.nativesat
org.alloytools.pardinus.taglets