Indexed Artifacts (24.7M)

Popular Categories

The ProB 2.0 Kernel library

LicenseEPL 1.0
HomePage http://www.prob2.de
Date(May 07, 2020)
Filesjar (43.0 MB)  View All
RepositoriesCentral
Used By3 artifacts

Note: There is a new version for this artifact

New Version3.14.0


Runtime Dependencies (5)

Licenses

LicenseURL
Eclipse Public License, Version 1.0 http://www.eclipse.org/org/documents/epl-v10.html

Developers

NameEmailDev IdRolesOrganization
Jens Bendispostojens<at>bendisposto.debendisposto