org.sat4j.pb » 2.3.5.v201404071733
download
Name
SAT4J Pseudo
Version
2.3.5.v201404071733
Repository
eclipse-4.10
This version is based on
Use this dependency declaration in your pom.xml:
<dependency> <groupId>org.eclipse.platform</groupId> <artifactId>org.sat4j.pb</artifactId> <version>2.3.5.v201404071733</version> </dependency>
* Don't forget to add repository
eclipse-4.10
Required dependencies
Dependency
Version
org.sat4j.core
