Added new solver ResolutionSimplificationsPB24 to check support for clause simplification

org.sat4j.pb/src/main/java/org/sat4j/pb/SolverFactory.java

@@ -1295,4 +1295,8 @@ public final class SolverFactory extends ASolverFactory<IPBSolver> {
         return resolution;
     }
 
+    public static IPBSolver newResolutionSimplificationsPB24() {
+        return newResolution();
+    }
+
 }
\ No newline at end of file