cvc5-turnkey

tools.aqua

tools.aqua:cvc5-turnkey is a Maven Central artifact (jar) for the JVM. It has 1 published version. Browse versions below for dependency snippets and security details.

Recommended: 1.2.0 1 versions jarChecking...
Analyze DependenciesCompare Artifact

Add to your project1.2.0

<dependency>
    <groupId>tools.aqua</groupId>
    <artifactId>cvc5-turnkey</artifactId>
    <version>1.2.0</version>
</dependency>

Version Details — 1.2.0

Packaging
jar
Direct Deps
0
Total Deps
0
Published
Sep 21, 2024
License
The 3-Clause BSD License

TurnKey artifact for cvc5

Checking security advisories...