Add separate exact routine.

Author: jlapeyre

pygridsynth/cli.py

@@ -14,7 +14,8 @@
         "allowed during the factoring process"
     ),
     "seed": "Random seed for deterministic results",
-    "phase": "up to Phase help",
+    "phase": "Ignore global phase in search candidates.",
+    "strip-phase": "Remove all W gates from the output string of gates.",
 }
 
 
@@ -28,7 +29,8 @@ def main():
     parser.add_argument("--ftimeout", "-ft", type=float, default=None, help=helps["ft"])
     parser.add_argument("--dloop", "-dl", type=int, default=10, help=helps["dl"])
     parser.add_argument("--floop", "-fl", type=int, default=10, help=helps["fl"])
-    parser.add_argument("--phase", "-p", action="store_true")
+    parser.add_argument("--phase", "-p", action="store_true", help=helps["phase"])
+    parser.add_argument("--strip-phase", "-sp", action="store_true", help=helps["strip-phase"])
     parser.add_argument("--seed", type=int, default=0, help=helps["seed"])
     parser.add_argument("--verbose", "-v", action="store_true")
     parser.add_argument("--time", "-t", action="store_true")
@@ -45,6 +47,7 @@ def main():
         floop=args.floop,
         seed=args.seed,
         phase=args.phase,
+        strip_phase=args.strip_phase,
         verbose=args.verbose,
         measure_time=args.time,
         show_graph=args.showgraph,