Indexed Artifacts (25.4M)

Popular Categories

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

LicenseEPL 1.0
Used By1 artifacts

VersionVulnerabilitiesRepositoryUsagesDate
1.8.x
1.08-BETACentral 0 Feb, 2019
1.7.x
1.07-BETACentral 0 Feb, 2019
1.6.x
1.06-BETACentral 0 Feb, 2019
1.5.x
1.05-BETACentral 0 Feb, 2019
1.3.x
1.03-BETACentral 0 Feb, 2019
1.2.x
1.2Central1Mar, 2020
1.02-BETACentral 0 Feb, 2019
1.1.x
1.1Central1Jan, 2020
1.1-BETACentral1Feb, 2019
1.01-BETACentral 0 Feb, 2019
1.0.x
1.0-BETACentral 0 Nov, 2018