From c5805fa36882311dbfbc927ea1815c247fab4c45 Mon Sep 17 00:00:00 2001 From: Stefan Huber Date: Mon, 17 Aug 2026 23:11:01 +0200 Subject: [PATCH] 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 --- Documentation/BUGS | 1 - licenses/LEDA-free | 25 ------------------------- licenses/boolector | 41 ----------------------------------------- 3 files changed, 67 deletions(-) delete mode 100644 Documentation/BUGS delete mode 100644 licenses/LEDA-free delete mode 100644 licenses/boolector diff --git a/Documentation/BUGS b/Documentation/BUGS deleted file mode 100644 index 8d502c1..0000000 --- a/Documentation/BUGS +++ /dev/null @@ -1 +0,0 @@ -Please send bug reports to diff --git a/licenses/LEDA-free b/licenses/LEDA-free deleted file mode 100644 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 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. -- 2.39.5