<dependency>
<groupId>org.ow2.sat4j</groupId>
<artifactId>org.ow2.sat4j.core</artifactId>
<version>2.3.5</version>
</dependency>
<parent> <groupId>org.ow2.sat4j</groupId> <artifactId>org.ow2.sat4j.pom</artifactId> <version>2.3.5</version> </parent>