Last Version

CVC4-TurnKey (GPL) 1.8

License	License The 3-Clause BSD License GNU Lesser General Public License, Version 3 GNU General Public License, Version 3 The PostgreSQL Licence The MIT License ISC License
Categories	Categories KeY Data Data Formats Formal Verification
GroupId	GroupId io.github.tudo-aqua
ArtifactId	ArtifactId cvc4-turnkey-gpl
Version	Version 1.8
Type	Type pom.sha512
Description	Description CVC4-TurnKey (GPL) A self-unpacking, standalone CVC4 distribution that ships all required native support code and automatically unpacks it at runtime. GPL-licensed version.
Project URL	Project URL https://github.com/tudo-aqua/cvc4-turnkey
Source Code Management	Source Code Management https://github.com/tudo-aqua/cvc4-turnkey/tree/master

Download cvc4-turnkey-gpl 1.8

Filename	Size
cvc4-turnkey-gpl-1.8.pom
cvc4-turnkey-gpl-1.8-sources.jar	29 MB
cvc4-turnkey-gpl-1.8-javadoc.jar	1 MB
Browse

Dependencies

Project Modules