org.sat4j.core » 2.3.5.v201308161310
download
Name
SAT4J Core
Version
2.3.5.v201308161310
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.core</artifactId> <version>2.3.5.v201308161310</version> </dependency>
* Don't forget to add repository
eclipse-2018-12
