Fixed variable ordering in examples

davidedellagiustina · Feb 7, 2024 · 3708400 · 3708400
1 parent 8415168
commit 3708400
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/src/examples/grover_search_known_m.py b/src/examples/grover_search_known_m.py
@@ -44,7 +44,8 @@ def main():
  pause()
 
  # Oracle
- oracle = qasp.oracle.from_asp_stable_models(STABLE_MODELS)
+ oracle = qasp.oracle.from_asp_stable_models(
+ STABLE_MODELS, var_order=['p', 'q', 'r'])
  print(f'Quantum oracle:\n{tab(str(oracle[1].draw()))}\n')
  pause()
 

diff --git a/src/examples/grover_search_unknown_m.py b/src/examples/grover_search_unknown_m.py
@@ -39,7 +39,8 @@ def main():
  pause()
 
  # Oracle
- oracle = qasp.oracle.from_asp_stable_models(STABLE_MODELS)
+ oracle = qasp.oracle.from_asp_stable_models(
+ STABLE_MODELS, var_order=['p', 'q', 'r'])
  print(f'Quantum oracle:\n{tab(str(oracle[1].draw()))}\n')
  pause()