update implementation objects

UST-QuAntiL · Feb 22, 2021 · 63b9ee5 · 63b9ee5
1 parent 9cca737
commit 63b9ee5
Show file tree

Hide file tree

Showing 7 changed files with 7 additions and 0 deletions.
diff --git 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://raw.githubusercontent.com/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
@@ -4,6 +4,7 @@
     "fileLocation": "https://raw.githubusercontent.com/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
@@ -4,6 +4,7 @@
     "fileLocation": "https://raw.githubusercontent.com/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
@@ -4,6 +4,7 @@
     "fileLocation": "https://raw.githubusercontent.com/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
@@ -4,6 +4,7 @@
     "fileLocation": "https://raw.githubusercontent.com/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
@@ -4,6 +4,7 @@
     "fileLocation": "https://raw.githubusercontent.com/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
@@ -4,6 +4,7 @@
     "fileLocation": "https://raw.githubusercontent.com/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": [
             {