Wrapper to use Kodkod in ProB.
'de.hhu.stups:probkodkod:1.0.3'
<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>probkodkod</artifactId>
<version>1.0.3</version>
</dependency>
<dependency org="de.hhu.stups" name="probkodkod" rev="1.0.3"/>
"de.hhu.stups", "probkodkod", "1.0.3"