Add license details for the nn_verification dataset.

PiperOrigin-RevId: 386216197

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.