Rely on Sat4j 2.3.1-SNAPSHOT instead of 2.2.3
diff --git a/org.eclipse.equinox.p2.cudf/pom.xml b/org.eclipse.equinox.p2.cudf/pom.xml
index 03eb39c..293ac5b 100644
--- a/org.eclipse.equinox.p2.cudf/pom.xml
+++ b/org.eclipse.equinox.p2.cudf/pom.xml
@@ -69,7 +69,7 @@
 		<dependency>
 			<groupId>org.sat4j</groupId>
 			<artifactId>org.sat4j.pb</artifactId>
-			<version>2.2.3</version>
+			<version>2.3.1-SNAPSHOT</version>
 		</dependency>
 		<dependency>
 			<groupId>org.eclipse.core</groupId>