aadd
Used in:
components
- OverviewOverview
- VersionsVersions
- DependentsDependents
- DependenciesDependencies
<dependency>
<groupId>io.github.tukcps</groupId>
<artifactId>aadd</artifactId>
<version>0.1.15</version>
</dependency><?xml version="1.0" encoding="UTF-8"?>
<project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 https://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.tukcps</groupId>
<artifactId>aadd</artifactId>
<version>0.1.15</version>
<name>aadd</name>
<description>Affine Arithmetic Decision Diagram Library for Kotlin Multiplatform</description>
<url>https://github.com/tukcps/Multiplatform-AADD</url>
<licenses>
<license>
<name>Apache-2.0</name>
<url>https://opensource.org/licenses/Apache-2.0</url>
</license>
</licenses>
<developers>
<developer>
<id>heermann</id>
<name>Hagen Heermann</name>
<organization>University of Kaiserslautern-Landau</organization>
<organizationUrl>https://github.com/tukcps/</organizationUrl>
</developer>
<developer>
<id>kwasigroch</id>
<name>Sören Kwasigroch</name>
<organization>University of Kaiserslautern-Landau</organization>
<organizationUrl>https://github.com/tukcps/</organizationUrl>
</developer>
<developer>
<id>zivkovic</id>
<name>Carna Zivkovic</name>
<organization>University of Kaiserslautern-Landau</organization>
<organizationUrl>https://github.com/tukcps/</organizationUrl>
</developer>
<developer>
<id>grimm</id>
<name>Christoph Grimm</name>
<organization>University of Kaiserslautern-Landau</organization>
<organizationUrl>https://github.com/tukcps/</organizationUrl>
</developer>
<developer>
<id>ratzke</id>
<name>Axel Ratzke</name>
<organization>University of Kaiserslautern-Landau</organization>
<organizationUrl>https://github.com/tukcps/</organizationUrl>
</developer>
<developer>
<id>herzog</id>
<name>Moritz Herzog</name>
<organization>University of Kaiserslautern-Landau</organization>
<organizationUrl>https://github.com/tukcps/</organizationUrl>
</developer>
</developers>
<scm>
<connection>scm:git:git://github.com/tukcps/Multiplatform-AADD.git</connection>
<developerConnection>scm:git:git://github.com/tukcps/Multiplatform-AADD.git</developerConnection>
<url>https://github.com/tukcps/Multiplatform-AADD.git</url>
</scm>
<issueManagement>
<url>https://github.com/tukcps/Multiplatform-AADD/issues</url>
</issueManagement>
</project>