feat: connect to spicedb

1 files changed, 57 insertions, 0 deletions

diff --git a/vendor/github.com/dalzilio/rudd/NOTICE b/vendor/github.com/dalzilio/rudd/NOTICE
new file mode 100644
index 0000000..9d7f4e0
--- /dev/null
+++ b/vendor/github.com/dalzilio/rudd/NOTICE
@@ -0,0 +1,57 @@
+
+Large part of the code in the RuDD library are based on the original work by
+Jorn Lind-Nielsen on the BuDDy C library. I include the original license for
+this work below, together with a list of the original authors.
+
+While the current implementation of RuDD adds some original work, I expect every
+redistribution to include the present NOTICE and acknowledge that some source
+files and examples have been copied and adapted from the *BuDDy* Binary Decision
+Diagrams Library, Package v2.4, Copyright (C) 1996-2002 by Jorn Lind-Nielsen
+(see <http://buddy.sourceforge.net/>).
+
+==========================================================================
+                              *** BuDDy ***
+                         Binary Decision Diagrams
+                           Library Package v2.4
+--------------------------------------------------------------------------
+               Copyright (C) 1996-2002 by Jorn Lind-Nielsen
+                            All rights reserved
+
+    Permission is hereby granted, without written agreement and without
+    license or royalty fees, to use, reproduce, prepare derivative
+    works, distribute, and display this software and its documentation
+    for any purpose, provided that (1) the above copyright notice and
+    the following two paragraphs appear in all copies of the source code
+    and (2) redistributions, including without limitation binaries,
+    reproduce these notices in the supporting documentation. Substantial
+    modifications to this software may be copyrighted by their authors
+    and need not follow the licensing terms described here, provided
+    that the new terms are clearly indicated in all files where they apply.
+
+    IN NO EVENT SHALL JORN LIND-NIELSEN, OR DISTRIBUTORS OF THIS
+    SOFTWARE BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT, SPECIAL,
+    INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE USE OF THIS
+    SOFTWARE AND ITS DOCUMENTATION, EVEN IF THE AUTHORS OR ANY OF THE
+    ABOVE PARTIES HAVE BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+    JORN LIND-NIELSEN SPECIFICALLY DISCLAIM ANY WARRANTIES, INCLUDING,
+    BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
+    FITNESS FOR A PARTICULAR PURPOSE. THE SOFTWARE PROVIDED HEREUNDER IS
+    ON AN "AS IS" BASIS, AND THE AUTHORS AND DISTRIBUTORS HAVE NO
+    OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR
+    MODIFICATIONS.
+==========================================================================
+
+List of authors for BuDDy:
+
+Jorn Lind-Nielsen - Original Developer
+Alan Mishchenko
+Gerd Behrmann
+Henrik Hulgaard
+Henrik Reif Andersen
+Jacob Lichtenberg
+Ken Larsen
+Nicola Soranzo
+Nikolaj Bjorner
+Alexandre Duret-Lutz
+Haim Cohen