From 9d8b610b8c5001cf3dd8b6220af0a8a1c1fcaba0 Mon Sep 17 00:00:00 2001
From: Nicolas Sonnerat <sonnerat@google.com>
Date: Thu, 22 Jul 2021 12:19:05 +0000
Subject: [PATCH] Add license details for the nn_verification dataset.

PiperOrigin-RevId: 386216197
---
 neural_mip_solving/README.md | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/neural_mip_solving/README.md b/neural_mip_solving/README.md
index 0f1ae598..609c7997 100644
--- a/neural_mip_solving/README.md
+++ b/neural_mip_solving/README.md
@@ -51,6 +51,11 @@ engines such as <a href="https://g.co/datasetsearch">Google Dataset Search</a>.
       problem of verifying a neural network’s robustness to perturbations of its
       inputs. The MIPs are encoded in LP format.</code></td>
   </tr>
+  <tr>
+    <td>license</td>
+    <td><code itemprop="license">https://creativecommons.org/licenses/by/4.0/legalcode
+  </code></td>
+  </tr>
   <tr>
     <td>provider</td>
     <td>
@@ -95,6 +100,13 @@ If you use this dataset in your work, we ask you to cite this paper:
 }
 ```
 
+## License
+
+This dataset is made available under the terms of the Creative Commons
+Attribution 4.0 International (CC BY 4.0) license.
+
+You can find details at: https://creativecommons.org/licenses/by/4.0/legalcode
+
 ## Disclaimer
 
 This is not an officially supported Google product.