| 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 |