Description: make sure the manpage doesn't contain too long lines
Author: Julien Puydt
Forwarded: https://github.com/msoos/cryptominisat/issues/623

--- cryptominisat.orig/src/solverconf.cpp
+++ cryptominisat/src/solverconf.cpp
@@ -265,50 +265,50 @@
         , num_conflicts_of_search_inc_max(10)
         , max_num_simplify_per_solve_call(25)
         , simplify_schedule_startup(
-            "sub-impl,"
+            "sub-impl, "
             "breakid, "
-            "occ-backw-sub-str, occ-clean-implicit, occ-bve,"
+            "occ-backw-sub-str, occ-clean-implicit, occ-bve, "
             "occ-ternary-res, occ-backw-sub-str, occ-xor, "
-            "card-find,"
-            "cl-consolidate," //consolidate after OCC
-            "scc-vrepl,"
-            "sub-cls-with-bin,"
-            "bosphorus,"
-            "sls,lucky"
+            "card-find, "
+            "cl-consolidate, " //consolidate after OCC
+            "scc-vrepl, "
+            "sub-cls-with-bin, "
+            "bosphorus, "
+            "sls, lucky"
         )
 
         //validated with run 8114195.wlm01
         , simplify_schedule_nonstartup(
-            "handle-comps,"
-            "scc-vrepl,"
-            "sub-impl,"
-            "intree-probe,"
-            "sub-str-cls-with-bin,distill-cls,"
-            "scc-vrepl,sub-impl,str-impl,sub-impl,"
-            "breakid,"
+            "handle-comps, "
+            "scc-vrepl, "
+            "sub-impl, "
+            "intree-probe, "
+            "sub-str-cls-with-bin, distill-cls, "
+            "scc-vrepl, sub-impl, str-impl, sub-impl, "
+            "breakid, "
             //occurrence based
-            "occ-backw-sub-str,occ-clean-implicit,occ-bve,"//occ-gates,"
-            "occ-bva,occ-ternary-res,occ-xor,card-find,"
+            "occ-backw-sub-str, occ-clean-implicit, occ-bve, "//occ-gates, "
+            "occ-bva, occ-ternary-res, occ-xor, card-find, "
             //consolidate after OCC
-            "cl-consolidate,"
+            "cl-consolidate, "
             //strengthen again
-            "str-impl,sub-str-cls-with-bin,distill-cls,"
-            "scc-vrepl,"
+            "str-impl, sub-str-cls-with-bin, distill-cls, "
+            "scc-vrepl, "
             //renumber then it's time for SLS
-            "renumber,"
-            "bosphorus,"
-            "sls,lucky"
+            "renumber, "
+            "bosphorus, "
+            "sls, lucky"
         )
         , simplify_schedule_preproc(
-            "handle-comps,"
-            "scc-vrepl,"
-            "sub-impl,"
+            "handle-comps, "
+            "scc-vrepl, "
+            "sub-impl, "
             "sub-str-cls-with-bin, distill-cls, scc-vrepl, sub-impl,"
             "breakid, "
             "occ-backw-sub-str, occ-clean-implicit, occ-bve, occ-bva,"
-            "occ-ternary-res, occ-xor,"
-            //"occ-gates,"
-            "cl-consolidate," //consolidate after OCC
+            "occ-ternary-res, occ-xor, "
+            //"occ-gates, "
+            "cl-consolidate, " //consolidate after OCC
             "str-impl, sub-str-cls-with-bin, distill-cls, scc-vrepl, sub-impl,"
             "str-impl, sub-impl, sub-str-cls-with-bin,"
             "intree-probe, "