Add appropriate licence to qre-challenge (#1022)

Infleqtion · Aug 9, 2024 · 541320c · 541320c
1 parent 68a4af2
commit 541320c
Show file tree

Hide file tree

Showing 3 changed files with 28 additions and 14 deletions.
diff --git a/supermarq-benchmarks/examples/qre-challenge/K-SAT.qs b/supermarq-benchmarks/examples/qre-challenge/K-SAT.qs
@@ -1,17 +1,12 @@
-/// Copyright 2024 Infleqtion
-///
-/// Licensed under the Apache License, Version 2.0 (the "License");
-/// you may not use this file except in compliance with the License.
-/// You may obtain a copy of the License at
-///
-///   http://www.apache.org/licenses/LICENSE-2.0
-///
-/// Unless required by applicable law or agreed to in writing, software
-/// distributed under the License is distributed on an "AS IS" BASIS,
-/// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-/// See the License for the specific language governing permissions and
-/// limitations under the License.
+// Copyright (c) Microsoft Corporation. All rights reserved.
+// Licensed under the MIT license.
 
+//////////////////////////////////////////////////////////////////////
+// This file contains reference solutions to all tasks.
+// The tasks themselves can be found in Tasks.qs file.
+// We recommend that you try to solve the tasks yourself first,
+// but feel free to look up the solution if you get stuck.
+//////////////////////////////////////////////////////////////////////
 namespace KSAT {
     open Microsoft.Quantum.Measurement;
     open Microsoft.Quantum.Arrays;

diff --git a/supermarq-benchmarks/examples/qre-challenge/README.md b/supermarq-benchmarks/examples/qre-challenge/README.md
@@ -10,4 +10,7 @@ This directory was submitted to: [Quantum Resource Estimation Challenge](https:/
 
 2. Restart, then run `grovers-ksat.ipynb` jupyter notebook. When re-running the entire notebook, you must restart, and then press run-all.
 
-Note: Received special permission from Michał Stęchły to extend to a 4th page.
+Note: Received special permission from Michał Stęchły to extend to a 4th page.
+
+# License
+MIT  under Copyright (c) Microsoft Corporation. All rights reserved. Inspired by [QuantumKatas](https://github.com/microsoft/QuantumKatas/blob/main/SolveSATWithGrover/ReferenceImplementation.qs)
diff --git a/supermarq-benchmarks/examples/qre-challenge/grovers-ksat.ipynb b/supermarq-benchmarks/examples/qre-challenge/grovers-ksat.ipynb
@@ -28,6 +28,22 @@
     "* [Curve Fitting](#curves)\n"
    ]
   },
+  {
+   "cell_type": "code",
+   "execution_count": null,
+   "metadata": {},
+   "outputs": [],
+   "source": [
+    "# Copyright (c) Microsoft Corporation. All rights reserved.\n",
+    "# Licensed under the MIT license.\n",
+    "\n",
+    "\n",
+    "# This file contains reference solutions to all tasks.\n",
+    "# The tasks themselves can be found in Tasks.qs file.\n",
+    "# We recommend that you try to solve the tasks yourself first,\n",
+    "# but feel free to look up the solution if you get stuck."
+   ]
+  },
   {
    "cell_type": "markdown",
    "metadata": {},