chop __mus__ from bodies

krr-up · Feb 15, 2024 · 70fae67 · 70fae67
1 parent 0f8cc35
commit 70fae67
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/examples/api/sudoku_zero.py b/examples/api/sudoku_zero.py
@@ -61,4 +61,5 @@
 print(time.time())
 
 # Show graph
-open_graph_in_xasp_navigator(graph)
+open_graph_in_xasp_navigator(graph, with_chopped_body=True, with_backward_search=True,
+                             backward_search_symbols=(';', ' :-'))