is not current version

Last Version 3.1.0 →

copper2go-api 2.0.1

API for copper2go workflows

License	License The Apache License, Version 2.0
Categories	Categories KeY Data Data Formats Formal Verification
GroupId	GroupId io.github.keymaster65
ArtifactId	ArtifactId copper2go-api
Version	Version 2.0.1
Type	Type pom.sha512
Description	Description copper2go-api API for copper2go workflows
Project URL	Project URL https://github.com/Keymaster65/copper2go
Source Code Management	Source Code Management https://github.com/Keymaster65/copper2go/

Download copper2go-api 2.0.1

Filename	Size
copper2go-api-2.0.1.pom
copper2go-api-2.0.1-sources.jar	5 KB
copper2go-api-2.0.1-javadoc.jar	411 KB
Browse

Dependencies

runtime (4)

Group / Artifact	Type	Version
org.slf4j : slf4j-api	jar	1.8.0-beta2
ch.qos.logback : logback-classic	jar	1.3.0-alpha4
com.fasterxml.jackson.core : jackson-databind	jar	2.12.3
org.copper-engine : copper-coreengine	jar	5.3.0

Project Modules

There are no modules declared in this project.