cvc4-turnkey-permissive
Used in
components
- OverviewOverview
- VersionsVersions
- DependentsDependents
- DependenciesDependencies
|
Maven Central Repository
<dependency>
<groupId>io.github.tudo-aqua</groupId>
<artifactId>cvc4-turnkey-permissive</artifactId>
<version>1.8</version>
</dependency><?xml version="1.0" encoding="UTF-8"?>
<project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns="http://maven.apache.org/POM/4.0.0"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<modelVersion>4.0.0</modelVersion>
<groupId>io.github.tudo-aqua</groupId>
<artifactId>cvc4-turnkey-permissive</artifactId>
<version>1.8</version>
<name>CVC4-TurnKey (Permissive)</name>
<description>A self-unpacking, standalone CVC4 distribution that ships all required native support code and automatically unpacks it at runtime. Permissive-licensed version.</description>
<url>https://github.com/tudo-aqua/cvc4-turnkey</url>
<licenses>
<license>
<name>The 3-Clause BSD License</name>
<url>https://opensource.org/licenses/BSD-3-Clause</url>
</license>
<license>
<name>GNU Lesser General Public License, Version 3</name>
<url>https://www.gnu.org/licenses/lgpl-3.0.html</url>
</license>
<license>
<name>The PostgreSQL Licence</name>
<url>https://opensource.org/licenses/PostgreSQL</url>
</license>
<license>
<name>The MIT License</name>
<url>https://opensource.org/licenses/MIT</url>
</license>
<license>
<name>ISC License</name>
<url>https://opensource.org/licenses/ISC</url>
</license>
</licenses>
<developers>
<developer>
<name>Simon Dierl</name>
<email>simon.dierl@cs.tu-dortmund.de</email>
</developer>
</developers>
<scm>
<connection>scm:git:git://github.com:tudo-aqua/cvc4-turnkey.git</connection>
<developerConnection>scm:git:ssh://git@github.com:tudo-aqua/cvc4-turnkey.git</developerConnection>
<url>https://github.com/tudo-aqua/cvc4-turnkey/tree/master</url>
</scm>
</project>
Cache, publish, and distribute components with your teams
Share and manage components, binaries, and build artifacts with your own private and public hosted repositories using the world’s #1 repository manager.
Try Nexus Repository Pro Free