License |
License |
---|---|
Categories |
CategoriesAnt Build Tools KeY Data Data Formats Formal Verification |
GroupId | GroupIdit.uniroma2.art.semanticturkey |
ArtifactId | ArtifactIdst-core-framework |
Last Version | Last Version11.1 |
Release Date | Release Date |
Type | Typebundle |
Description |
DescriptionSemantic Turkey CORE Framework
Semantic Turkey main project. It contains the core business logic of the system.
|
Project Organization |
Project Organization |
Filename | Size |
---|---|
st-core-framework-11.1.pom | |
st-core-framework-11.1.jar | 1 MB |
st-core-framework-11.1-test-sources.jar | 107 KB |
st-core-framework-11.1-sources.jar | 875 KB |
st-core-framework-11.1-javadoc.jar | 5 MB |
Browse |
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 |