Eclipse-2018-12 p2 repository: org.sat4j.pb

org.sat4j.pb » 2.3.5.v201404071733

Name	SAT4J Pseudo
Version	2.3.5.v201404071733
Repository	eclipse-2018-12
This version is based on
Use this dependency declaration in your pom.xml: <dependency> <groupId>org.eclipse.ide</groupId> <artifactId>org.sat4j.pb</artifactId> <version>2.3.5.v201404071733</version> </dependency> * Don't forget to add repository eclipse-2018-12

Required dependencies

Dependency	Version
org.sat4j.core