de.hhu.stups:de.prob2.kernel 3.2.2

The ProB 2.0 Kernel

GroupId	de.hhu.stups
ArtifactId	de.prob2.kernel
Version	3.2.2
Type	zip

Download de.prob2.kernel 3.2.2

Filename	Size
de.prob2.kernel-3.2.2.pom
de.prob2.kernel-3.2.2.zip	82 MB
de.prob2.kernel-3.2.2-sources.jar	57 MB
de.prob2.kernel-3.2.2-javadoc.jar	1 MB