License |
License |
---|---|
Categories |
CategoriesAnt Build Tools KeY Data Data Formats Formal Verification |
GroupId | GroupIdit.uniroma2.art.semanticturkey |
ArtifactId | ArtifactIdst-core-framework |
Version | Version11.1 |
Type | Typebundle |
Description |
DescriptionSemantic Turkey CORE Framework
Semantic Turkey main project. It contains the core business logic of the system.
|
Project Organization |
Project Organization |
Group / Artifact | Type | Version |
---|---|---|
junit : junit | jar | 4.12 |
org.hamcrest : java-hamcrest | jar | 2.0.0.0 |
org.apache.sling : org.apache.sling.testing.osgi-mock.junit4 | jar | 2.4.4 |
it.uniroma2.art.maple : maple-core | test-jar | 0.0.12 |
org.apache.felix : org.apache.felix.scr.annotations | jar | 1.9.6 |
pl.pragmatists : JUnitParams | jar | 1.1.1 |
org.skyscreamer : jsonassert | jar | 1.5.0 |