Description

<dependency>
    <groupId>io.ksmt</groupId>
    <artifactId>ksmt-bitwuzla-native-windows-x64</artifactId>
    <version>0.5.30</version>
</dependency>

<?xml version="1.0" encoding="UTF-8"?>
<project xmlns="http://maven.apache.org/POM/4.0.0" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 https://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
  <modelVersion>4.0.0</modelVersion>
  <groupId>io.ksmt</groupId>
  <artifactId>ksmt-bitwuzla-native-windows-x64</artifactId>
  <version>0.5.30</version>
  <name>io.ksmt</name>
  <description>Kotlin API for various SMT solvers</description>
  <url>https://www.ksmt.io/</url>
  <licenses>
    <license>
      <name>The Apache License, Version 2.0</name>
      <url>https://www.apache.org/licenses/LICENSE-2.0.txt</url>
    </license>
  </licenses>
  <developers>
    <developer>
      <id>saloed</id>
      <name>Valentyn Sobol</name>
      <email>vo.sobol@mail.ru</email>
    </developer>
    <developer>
      <id>CaelmBleidd</id>
      <name>Alexey Menshutin</name>
      <email>alex.menshutin99@gmail.com</email>
    </developer>
  </developers>
  <scm>
    <connection>scm:git:https://github.com/UnitTestBot/ksmt.git</connection>
    <developerConnection>scm:git:https://github.com/UnitTestBot/ksmt.git</developerConnection>
    <url>https://github.com/UnitTestBot/ksmt</url>
  </scm>
  <issueManagement>
    <url>https://github.com/UnitTestBot/ksmt/issues</url>
  </issueManagement>
</project>