https://gitlab.ow2.org/sat4j/sat4j.git
Tip revision: 5080fed0937039c7da843df60eeff050c1f8fd0d authored by Daniel Le Berre on 01 March 2022, 22:08:31 UTC
call jacoco:report after deploy goal
call jacoco:report after deploy goal
Tip revision: 5080fed
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/maven-v4_0_0.xsd">
<modelVersion>4.0.0</modelVersion>
<parent>
<groupId>org.ow2.sat4j</groupId>
<artifactId>org.ow2.sat4j.pom</artifactId>
<version>3.0.0-SNAPSHOT</version>
</parent>
<artifactId>org.ow2.sat4j.maxsat</artifactId>
<name>SAT4J maxsat</name>
<dependencies>
<dependency>
<groupId>org.ow2.sat4j</groupId>
<artifactId>org.ow2.sat4j.core</artifactId>
<version>${project.version}</version>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>org.ow2.sat4j</groupId>
<artifactId>org.ow2.sat4j.pb</artifactId>
<version>${project.version}</version>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>commons-cli</groupId>
<artifactId>commons-cli</artifactId>
<version>1.5.0</version>
</dependency>
</dependencies>
</project>