Description

<dependency>
    <groupId>org.opt4j</groupId>
    <artifactId>opt4j-satdecoding</artifactId>
    <version>3.1.4</version>
</dependency>

<?xml version="1.0" encoding="UTF-8"?>
<project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns="http://maven.apache.org/POM/4.0.0"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
  <modelVersion>4.0.0</modelVersion>
  <groupId>org.opt4j</groupId>
  <artifactId>opt4j-satdecoding</artifactId>
  <version>3.1.4</version>
  <name>Opt4J</name>
  <description>The SAT decoding module for Opt4J</description>
  <url>http://www.opt4j.org</url>
  <licenses>
    <license>
      <name>GNU Lesser General Public License</name>
      <url>http://www.gnu.org/licenses/lgpl.txt</url>
      <distribution>repo</distribution>
    </license>
  </licenses>
  <developers>
    <developer>
      <id>lukasiewycz</id>
      <name>Martin Lukasiewycz</name>
    </developer>
    <developer>
      <id>reimann</id>
      <name>Felix Reimann</name>
    </developer>
    <developer>
      <id>glass</id>
      <name>Michael Glass</name>
    </developer>
  </developers>
  <scm>
    <connection>http://hg.code.sf.net/p/opt4j/hgroot</connection>
    <url>http://hg.code.sf.net/p/opt4j/hgroot</url>
  </scm>
  <dependencies>
    <dependency>
      <groupId>org.ow2.sat4j</groupId>
      <artifactId>org.ow2.sat4j.pb</artifactId>
      <version>2.3.3</version>
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>junit</groupId>
      <artifactId>junit</artifactId>
      <version>[4.0,)</version>
      <scope>test</scope>
    </dependency>
    <dependency>
      <groupId>org.ow2.sat4j</groupId>
      <artifactId>org.ow2.sat4j.core</artifactId>
      <version>2.3.3</version>
      <scope>compile</scope>
    </dependency>
    <dependency>
      <groupId>org.opt4j</groupId>
      <artifactId>opt4j-core</artifactId>
      <version>3.1.4</version>
      <scope>compile</scope>
    </dependency>
  </dependencies>
</project>