Indexed Artifacts (25.4M)

Popular Categories

The Parser for our translation from Alloy to B returning a Prolog Term.

LicenseEPL 1.0
HomePage https://github.com/hhu-stups/alloy2b
Date(Mar 10, 2020)
Filesjar (2.6 MB)  View All
RepositoriesCentral
Used By1 artifacts

Note: There is a new version for this artifact

New Version1.08-BETA


Compile Dependencies (2)

Category/License Group / ArtifactVersionUpdates

Apache 2.0
de.hhu.stups » alloy-core 5.1.0
Lang Runtime
Apache 2.0
org.jetbrains.kotlin » kotlin-stdlib-jdk8 1.3.611.6.10

Test Dependencies (1)

Category/License Group / ArtifactVersionUpdates
Testing
EPL 2.0
org.junit.jupiter » junit-jupiter-api 5.4.25.8.2

Licenses

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

Developers

NameEmailDev IdRolesOrganization
Joshua Schmidtjoshua.schmidt<at>hhu.deJoshuaAtSTUPS