CVC4-TurnKey (Permissive) 1.8

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

License	The 3-Clause BSD License GNU Lesser 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-permissive
Version	1.8
Type	pom.sha512
Description	CVC4-TurnKey (Permissive) A self-unpacking, standalone CVC4 distribution that ships all required native support code and automatically unpacks it at runtime. Permissive-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-permissive 1.8

Filename	Size
cvc4-turnkey-permissive-1.8.pom
cvc4-turnkey-permissive-1.8-sources.jar	27 MB
cvc4-turnkey-permissive-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.