'org.sat4j:org.sat4j.core:2.0.4'
<dependency>
<groupId>org.sat4j</groupId>
<artifactId>org.sat4j.core</artifactId>
<version>2.0.4</version>
</dependency>
<dependency org="org.sat4j" name="org.sat4j.core" rev="2.0.4"/>
"org.sat4j", "org.sat4j.core", "2.0.4"