pom.xml 477 Bytes
Newer Older
leberre's avatar
leberre committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
<?xml version="1.0" encoding="UTF-8"?>
<project>
  <modelVersion>4.0.0</modelVersion>
  <parent>
    <groupId>org.sat4j</groupId>
    <artifactId>org.sat4j.pom</artifactId>
    <version>2.0.0</version>
  </parent>

  <artifactId>org.sat4j.pb</artifactId>
  <name>SAT4J pseudo</name>

  <dependencies>
    <dependency>
      <groupId>org.sat4j</groupId>
      <artifactId>org.sat4j.core</artifactId>
      <version>2.0.0</version>
    </dependency>
  </dependencies>
</project>