Indexed Artifacts (25.4M)

Popular Categories

Translator from TLA+ to ProB's AST representation.

LicenseEPL 1.0
HomePage https://github.com/hhu-stups/tla2bAST
Date(Mar 11, 2021)
Filesjar (204 KB)  View All
RepositoriesCentral
Used By2 artifacts


Compile Dependencies (3)

Category/License Group / ArtifactVersionUpdates

MIT
de.hhu.stups » tlatools 1.0.2

EPL 1.0
de.hhu.stups » prologlib 2.9.272.9.32

EPL 1.0
de.hhu.stups » bparser 2.9.272.9.32

Runtime Dependencies (1)

Category/License Group / ArtifactVersionUpdates
CLI Parser
Apache 2.0
commons-cli » commons-cli 1.41.5.0

Licenses

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

Developers

NameEmailDev IdRolesOrganization
Jens Bendispostojens<at>bendisposto.debendisposto