'net.sf.jmpi:jmpi-solver-sat4j:0.4'
<dependency>
<groupId>net.sf.jmpi</groupId>
<artifactId>jmpi-solver-sat4j</artifactId>
<version>0.4</version>
</dependency>
<dependency org="net.sf.jmpi" name="jmpi-solver-sat4j" rev="0.4"/>
"net.sf.jmpi", "jmpi-solver-sat4j", "0.4"