https://gitlab.ow2.org/sat4j/sat4j.git
Tip revision: bad43538458ec727f366a70695707bc35d04d2d2 authored by Daniel Le Berre on 29 April 2024, 14:38:47 UTC
Fixes compilation problem (methods missed from refactoring)
Fixes compilation problem (methods missed from refactoring)
Tip revision: bad4353
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>