is not current version

Last Version 3.1.0 →

copper2go-api 3.0

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

Filename	Size
copper2go-api-3.0.pom
copper2go-api-3.0-sources.jar	7 KB
copper2go-api-3.0-javadoc.jar	131 KB
Browse

Dependencies

runtime (4)

Group / Artifact	Type	Version
org.slf4j : slf4j-api	jar	2.0.0-alpha5
ch.qos.logback : logback-classic	jar	1.3.0-alpha12
com.fasterxml.jackson.core : jackson-databind	jar	2.13.1
org.copper-engine : copper-coreengine	jar	5.4.1

Project Modules

There are no modules declared in this project.