Eclipse-4.8 p2 repository: org.sat4j.core

org.sat4j.core » 2.3.5.v201308161310

download

Name

SAT4J Core

Version

2.3.5.v201308161310

Repository

eclipse-4.8

Checksums

Algorithm	Hash
MD5
SHA-1
SHA-256
SHA-512

Use this dependency declaration in your pom.xml:

<dependency>
    <groupId>org.eclipse.platform</groupId>
    <artifactId>org.sat4j.core</artifactId>
    <version>2.3.5.v201308161310</version>
</dependency>

* Don't forget to add repository eclipse-4.8