repo: remove unused licenses and stray Documentation dir

licenses/boolector and licenses/LEDA-free are dead since
sci-mathematics/boolector and sci-mathematics/lingeling were removed;
nothing references them anymore. Documentation/BUGS is a stray
top-level file (not a real category) left over from 2013.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

diff --git a/Documentation/BUGS b/Documentation/BUGS
deleted file mode 100644 (file)
index 8d502c1..0000000
--- a/Documentation/BUGS
+++ /dev/null
@@ -1 +0,0 @@
-Please send bug reports to <shuber@sthu.org>

diff --git a/licenses/LEDA-free b/licenses/LEDA-free
deleted file mode 100644 (file)
index 27284ed..0000000
--- a/licenses/LEDA-free
+++ /dev/null
@@ -1,25 +0,0 @@
-
-You are installing LEDA, The Platform for Combinatorial and Geometric
-Computing.
-                                                                 
-    FOR ANY USE OF THIS SOFTWARE A LICENSE IS REQUIRED. 
-    YOU ARE BREAKING A LAW WHEN USING LEDA WITHOUT 
-    OWNING A LICENSE.                   
-
-These terms are valid for all LEDA versions following version 3.0
-For more information about the license terms please contact      
-                                                                 
-
-                 Algorithmic Solutions Software GmbH
-                 Schuetzenstrasse 3 - 5
-                 66123 Saarbruecken 
-                 Germany
-                 http:  www.algorithmic-solutions.com
-                 email: contact@algorithmic-solutions.com
-                 phone: +49 681 87647-0
-                 fax:   +49 681 87647-29
-
-You are allowed to continue with the installation of LEDA only if you are 
-owner of a valid license.
-Otherwise, you must stop the installation now.
-

diff --git a/licenses/boolector b/licenses/boolector
deleted file mode 100644 (file)
index 32c7a0d..0000000
--- a/licenses/boolector
+++ /dev/null
@@ -1,41 +0,0 @@
-Copyright (c) 2007 - 2013,
-Institute for Formal Models and Verification,
-Johannes Kepler University, Linz, Austria.
-
-Permission is hereby granted, free of charge, to use this software for
-evaluation and research purposes.
-
-This license does not allow this software to be used in a commercial context.
-
-It is further prohibited to use this software or a substantial portion of it
-in a competition or a similar competetive event, such as the SAT, SMT or QBF
-competitions or evaluations, without explicit written permission by the
-copyright holder.
-
-However, competition organizers are allowed to use this software as part of
-the evaluation process of a particular competition, evaluation or
-competetive event, if the copyright holder of this software submitted this
-software to this particular competition, evaluation or event explicitly.
-
-This permission of using the software as part of a submission by the
-copyright holder to a competition, evaluation or competive event is only
-granted for one year and only for one particular instance of the competition
-to which this software was submitted by the copyright holder.
-
-If a competition, evaluation or competetive event has multiple tracks,
-categories or sub-competitions, this license is only granted for the tracks
-respectively categories or sub-competitions, to which the software was
-explicitly submitted by the copyright holder.
-
-All other usage is reserved.
-
-The above copyright notice and this permission notice shall be included in
-all copies or substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
-FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
-IN THE SOFTWARE.