is not current version

Last Version 3.15.0 →

de.hhu.stups:de.prob2.kernel 3.2.3

The ProB 2.0 Kernel

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

Download de.prob2.kernel 3.2.3

Filename	Size
de.prob2.kernel-3.2.3.pom
de.prob2.kernel-3.2.3.zip	82 MB
de.prob2.kernel-3.2.3-sources.jar	57 MB
de.prob2.kernel-3.2.3-javadoc.jar	261 bytes
Browse