opt4j-satdecoding
Used in:
components
- OverviewOverview
- VersionsVersions
- DependentsDependents
- DependenciesDependencies
<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>