is not current version

io.github.tudo-aqua:cvc4-turnkey-gpl 1.7

A self-unpacking, standalone CVC4 distribution that ships all required native support code and automatically unpacks it at runtime. GPL-licensed version.

Categories	Categories KeY Data Data Formats Formal Verification
GroupId	GroupId io.github.tudo-aqua
ArtifactId	ArtifactId cvc4-turnkey-gpl
Version	Version 1.7
Type	Type pom.sha512

Download cvc4-turnkey-gpl 1.7

Filename	Size
cvc4-turnkey-gpl-1.7.pom
cvc4-turnkey-gpl-1.7-sources.jar	28 MB
cvc4-turnkey-gpl-1.7-javadoc.jar	1 MB
Browse

io.github.tudo-aqua:cvc4-turnkey-gpl 1.7

Categories

GroupId

ArtifactId

Version

Type

Download cvc4-turnkey-gpl 1.7