diff --git a/libs/kodkod.jar b/libs/kodkod.jar
index 86abc3e7e5c2e98f1b394bd5edcdaa96ecb03515..ecbb6172351f64ab15d5ca1c995e0575460d86a7 100644
Binary files a/libs/kodkod.jar and b/libs/kodkod.jar differ
diff --git a/src/main/java/de/stups/probkodkod/SolverChecker.java b/src/main/java/de/stups/probkodkod/SolverChecker.java
index d8438777e2507661b94eefb436c0521569379aac..606030d96c8fc085a17becf5f1ffe449fe688282 100644
--- a/src/main/java/de/stups/probkodkod/SolverChecker.java
+++ b/src/main/java/de/stups/probkodkod/SolverChecker.java
@@ -25,7 +25,8 @@ import kodkod.instance.Universe;
  */
 public class SolverChecker {
 	private static final Logger LOGGER = Logger.getLogger("de.stups.probkodkod");
-	private static final SATFactory[] FACTORIES = { SATFactory.MiniSat, new SAT4JWithTimeoutFactory() };
+	private static final SATFactory[] FACTORIES = { SATFactory.Lingeling, SATFactory.Glucose, SATFactory.MiniSat,
+			new SAT4JWithTimeoutFactory() };
 
 	// private static final SATFactory[] FACTORIES = {
 	// new SAT4JWithTimeoutFactory(), SATFactory.MiniSat,