CVC4-TurnKey (GPL) 1.8

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

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	KeY Data Data Formats Formal Verification
GroupId	io.github.tudo-aqua
ArtifactId	cvc4-turnkey-gpl
Version	1.8
Type	pom.sha512
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	https://github.com/tudo-aqua/cvc4-turnkey
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

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

There are no modules declared in this project.