Description

<dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>javasmt-solver-cvc5</artifactId>
    <version>2026-04-08-ca862b4</version>
</dependency>

<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
  xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">

<!--
This file is part of JavaSMT,
an API wrapper for a collection of SMT solvers:
https://github.com/sosy-lab/java-smt

SPDX-FileCopyrightText: 2026 Dirk Beyer <https://www.sosy-lab.org>

SPDX-License-Identifier: Apache-2.0
-->

  <modelVersion>4.0.0</modelVersion>
  <groupId>org.sosy-lab</groupId>
  <artifactId>javasmt-solver-cvc5</artifactId>
  <packaging>jar</packaging>
  <name>javasmt-solver-cvc5</name>
  <version>2026-04-08-ca862b4</version>
  <description>SMT solver CVC5 for use in JavaSMT</description>
  <url>https://github.com/sosy-lab/java-smt</url>

  <licenses>
      <license>
          <name>Modified BSD License</name>
          <url>https://github.com/cvc5/cvc5/blob/master/COPYING</url>
      </license>
  </licenses>

  <organization>
      <name>Software Systems Lab</name>
      <url>https://www.sosy-lab.org/</url>
  </organization>

  <scm>
      <url>https://github.com/sosy-lab/java-smt/</url>
      <connection>scm:git:git://github.com/sosy-lab/java-smt.git</connection>
      <developerConnection>scm:git:git@github.com:sosy-lab/java-smt.git</developerConnection>
  </scm>

  <developers>
      <developer>
          <name>Karlheinz Friedberger</name>
          <email>kfriedberger@gmail.com</email>
          <organization>Software Systems Lab</organization>
          <url>https://www.sosy-lab.org/people/friedberger/</url>
          <roles>
              <role>project maintainer</role>
          </roles>
      </developer>
      <developer>
          <name>Dirk Beyer</name>
          <email>dirk.beyer@sosy-lab.org</email>
          <url>https://www.sosy-lab.org/people/beyer/</url>
          <organization>Software Systems Lab</organization>
          <organizationUrl>http://www.sosy-lab.org/</organizationUrl>
          <roles>
              <role>project manager</role>
          </roles>
      </developer>
  </developers>
</project>