pom.xml

<?xml version="1.0" encoding="UTF-8" ?>
<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">
	<modelVersion>4.0.0</modelVersion>

	<parent>
		<artifactId>ipasir4j-build-helper</artifactId>
		<groupId>com.github.liveontologies</groupId>
		<version>1.0.0-SNAPSHOT</version>
	</parent>

	<artifactId>cadical4j-parent</artifactId>
	<version>rel-2.0.0.1-SNAPSHOT</version>
	<packaging>pom</packaging>

	<name>Configuration settings for the CaDiCaL SAT solver</name>

	<modules>
		<module>cadical</module>
		<module>cadical4j</module>
	</modules>

	<properties>
		<library.name>cadical</library.name>
		<library.version>rel-2.0.0</library.version>		
		<library.download.url>https://github.com/arminbiere/cadical/archive/</library.download.url>
		<library.archive.name>${library.version}</library.archive.name>
	</properties>

	<url>https://github.com/liveontologies/${project.artifactId}</url>

	<scm>
		<connection>scm:git:https://github.com/liveontologies/${project.artifactId}.git</connection>
		<developerConnection>scm:git:git@github.com:liveontologies/${project.artifactId}.git</developerConnection>
		<url>https://github.com/liveontologies/${project.artifactId}</url>
		<tag>HEAD</tag>
	</scm>

	<licenses>
		<license>
			<name>The Apache Software License, Version 2.0</name>
			<url>http://www.apache.org/licenses/LICENSE-2.0.txt</url>
			<distribution>repo</distribution>
		</license>
	</licenses>

	<organization>
		<name>Live Ontologies Project</name>
		<url>https://github.com/liveontologies</url>
	</organization>

	<inceptionYear>2020</inceptionYear>

	<developers>
		<developer>
			<id>yevgeny</id>
			<name>Yevgeny Kazakov</name>
			<email>yevgeny.kazakov@uni-ulm.de</email>
			<organization>Institute of Artificial Intelligence, University of Ulm</organization>
			<organizationUrl>http://www.uni-ulm.de/en/in/ki.html</organizationUrl>
			<roles>
				<role>developer</role>
			</roles>
			<timezone>1</timezone>
		</developer>
	</developers>

</project>