it.uniroma2.art.semanticturkey:st-builder 10.1

Semantic turkey builder subproject. It creates the karaf archive with the application already deployed.

Categories	Ant Build Tools KeY Data Data Formats Formal Verification
GroupId	it.uniroma2.art.semanticturkey
ArtifactId	st-builder
Version	10.1
Type	cfg

Download st-builder 10.1

Filename	Size
st-builder-10.1.pom	14 KB
st-builder-10.1-st.cfg	97 bytes
st-builder-10.1-features.xml	11 KB