cvc5
Used in
components
- OverviewOverview
- VersionsVersions
- DependentsDependents
- DependenciesDependencies
<dependency>
<groupId>io.github.p-org.solvers</groupId>
<artifactId>cvc5</artifactId>
<version>0.0.7-v5</version>
</dependency> <project>
<modelVersion>4.0.0</modelVersion>
<groupId>io.github.p-org.solvers</groupId>
<artifactId>cvc5</artifactId>
<version>0.0.7-v5</version>
<packaging>jar</packaging>
<name>CVC5 Java Bindings</name>
<description>CVC5 Java Bindings</description>
<url>https://github.com/cvc5/cvc5</url>
<developers>
<developer>
<url>${project.url}</url>
</developer>
</developers>
<licenses>
<license>
<url>${project.url}</url>
</license>
</licenses>
<scm>
<url>${project.url}</url>
</scm>
</project>