Artifact 'org.sat4j:org.sat4j.pb:2.0.0'

'org.sat4j:org.sat4j.pb:2.0.0'

<dependency>
	<groupId>org.sat4j</groupId>
	<artifactId>org.sat4j.pb</artifactId>
	<version>2.0.0</version>
</dependency>

<dependency org="org.sat4j" name="org.sat4j.pb" rev="2.0.0"/>

"org.sat4j", "org.sat4j.pb", "2.0.0"