Semantic Turkey Console

Karaf's custom console for Semantic Turkey

License

License

Categories

Categories

Ant Build Tools KeY Data Data Formats Formal Verification
GroupId

GroupId

it.uniroma2.art.semanticturkey
ArtifactId

ArtifactId

st-console
Last Version

Last Version

11.1
Release Date

Release Date

Type

Type

bundle
Description

Description

Semantic Turkey Console
Karaf's custom console for Semantic Turkey
Project Organization

Project Organization

ART Group, University of Rome, Tor Vergata

Download st-console

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

There are no modules declared in this project.

Versions

Version
11.1
10.2.1
10.2
10.1.1
10.1
10.0
9.1
9.0
8.0.1
8.0
7.0
6.0
5.0
4.0.2
4.0
3.0
2.0
1.0
0.12
0.11
0.10