pom.xml 852 Bytes
Newer Older
1 2 3 4 5
<?xml version="1.0" encoding="UTF-8"?><project>
  <modelVersion>4.0.0</modelVersion>
  <parent>
    <groupId>org.sat4j</groupId>
    <artifactId>org.sat4j.pom</artifactId>
6
    <version>2.1.0-SNAPSHOT</version>
7 8 9 10 11 12 13
  </parent>
  <artifactId>org.sat4j.maxsat</artifactId>
  <name>SAT4J maxsat</name>
  <dependencies>
    <dependency>
      <groupId>org.sat4j</groupId>
      <artifactId>org.sat4j.core</artifactId>
14
      <version>2.1.0-SNAPSHOT</version>
15 16 17 18 19
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>org.sat4j</groupId>
      <artifactId>org.sat4j.pb</artifactId>
20
      <version>2.1.0-SNAPSHOT</version>
21 22 23 24 25
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>commons-cli</groupId>
      <artifactId>commons-cli</artifactId>
leberre's avatar
leberre committed
26
      <version>1.1</version>
27 28 29
    </dependency>
  </dependencies>
</project>