Copyright (c) DTAI - KU Leuven – All rights reserved.

Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at

    http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.


----


----

IMPORTANT NOTICE REGARDING BUNDLED THIRD-PARTY SOFTWARE
=========================================================

This binary distribution of Kompyle bundles third-party libraries,
some of which carry restrictions beyond the Apache 2.0 license:

  * PaToH (compiled into kompyle.libs/libmd4-*.so) is licensed for
    NON-COMMERCIAL AND ACADEMIC/RESEARCH USE ONLY. Commercial use
    requires a separate paid license from Ümit V. Çatalyürek
    (umit@gatech.edu). Redistribution of PaToH in any form requires
    explicit written permission from the copyright holder.
    See licenses/LICENSE-PaToH.txt for full details.

  * bipe (statically linked into kompyle.libs/libmd4-*.so) is licensed
    under the GNU Affero General Public License v3 (AGPL-3.0-or-later).
    The complete Corresponding Source for the combined libmd4 work is
    available at: https://github.com/crillab/d4v2
    See licenses/LICENSE-AGPL-3.0.txt for full details.

  * bliss (statically linked into kompyle.libs/libbreakid-*.so) is
    licensed under the GNU Lesser General Public License v3
    (LGPL-3.0-or-later).
    See licenses/LICENSE-LGPL-3.0.txt for full details.

  * GMP, GMPXX, MPFR, FLINT are licensed under LGPL-3.0-or-later.
    Source tarballs are available at the URLs listed below.
    See licenses/LICENSE-LGPL-3.0.txt for full details.

By installing or using this package you agree to the terms of all
licenses listed here and in the licenses/ directory.


----


----

This binary distribution of Kompyle also bundles the following software:


Name: Boost (container, program_options)
Files: kompyle.libs/libboost_container-*.so*, kompyle.libs/libboost_program_options-*.so*
Description: bundled as dynamically linked libraries
Availability: https://www.boost.org/
License: BSL-1.0

  Boost Software License - Version 1.0 - August 17th, 2003

  Permission is hereby granted, free of charge, to any person or organization
  obtaining a copy of the software and accompanying documentation covered by
  this license (the "Software") to use, reproduce, display, distribute,
  execute, and transmit the Software, and to prepare derivative works of the
  Software, and to permit third-parties to whom the Software is furnished to
  do so, all subject to the following:

  The copyright notices in the Software and this entire statement, including
  the above license grant, this restriction and the following disclaimer,
  must be included in all copies of the Software, in whole or in part, and
  all derivative works of the Software, unless such copies or derivative
  works are solely in the form of machine-executable object code generated by
  a source language processor.

  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, TITLE AND NON-INFRINGEMENT. IN NO EVENT
  SHALL THE COPYRIGHT HOLDERS OR ANYONE DISTRIBUTING THE SOFTWARE BE LIABLE
  FOR ANY DAMAGES OR OTHER LIABILITY, WHETHER IN CONTRACT, TORT OR OTHERWISE,
  ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
  DEALINGS IN THE SOFTWARE.


Name: GMP (GNU Multiple Precision Arithmetic Library)
Files: kompyle.libs/libgmp-*.so*, kompyle.libs/libgmpxx-*.so*
Description: bundled as dynamically linked libraries; compiled from source
Availability: https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz
License: LGPL-3.0-or-later (and GPL-2.0-or-later for some files)
  See licenses/LICENSE-LGPL-3.0.txt and licenses/LICENSE-GPL-2.0.txt
  for the full license texts.

  Source availability: https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz

  Users may replace the dynamically linked libgmp / libgmpxx with a
  modified version by relinking against a custom build of GMP 6.3.0.


Name: MPFR (GNU Multiple Precision Floating-Point Reliable Library)
Files: kompyle.libs/libmpfr-*.so*
Description: bundled as a dynamically linked library; compiled from source
Availability: https://ftp.gnu.org/gnu/mpfr/mpfr-4.2.1.tar.xz
License: LGPL-3.0-or-later
  See licenses/LICENSE-LGPL-3.0.txt for the full license text.

  Source availability: https://ftp.gnu.org/gnu/mpfr/mpfr-4.2.1.tar.xz

  Users may replace the dynamically linked libmpfr with a modified
  version by relinking against a custom build of MPFR 4.2.1.


Name: FLINT (Fast Library for Number Theory)
Files: kompyle.libs/libflint-*.so*
Description: bundled as a dynamically linked library; compiled from source
Availability: https://github.com/flintlib/flint/releases/download/v3.2.0-rc1/flint-3.2.0-rc1.tar.gz
License: LGPL-3.0-or-later
  See licenses/LICENSE-LGPL-3.0.txt for the full license text.

  Source availability: https://github.com/flintlib/flint/releases/download/v3.2.0-rc1/flint-3.2.0-rc1.tar.gz

  Users may replace the dynamically linked libflint with a modified
  version by relinking against a custom build of FLINT 3.2.


Name: CryptoMiniSat
Files: kompyle.libs/libcryptominisat5-*.so*
Description: bundled as a dynamically linked library
Availability: https://github.com/msoos/cryptominisat
License: MIT
  Copyright (C) 2009-2020 Authors of CryptoMiniSat, see AUTHORS file

  Permission is hereby granted, free of charge, to any person obtaining
  a copy of this software and associated documentation files (the
  "Software"), to deal in the Software without restriction, including
  without limitation the rights to use, copy, modify, merge, publish,
  distribute, sublicense, and/or sell copies of the Software, and to
  permit persons to whom the Software is furnished to do so, subject to
  the following conditions:

  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.


Name: CaDiCaL
Files: kompyle.libs/libcryptominisat5-*.so*, kompyle.libs/libarjun-*.so*
Description: statically linked inside CryptoMiniSat and Arjun
Availability: https://github.com/arminbiere/cadical
License: MIT
  Copyright (c) 2016-2024 Armin Biere, JKU Linz, Austria
  Copyright (c) 2020-2024 the CaDiCaL authors

  Permission is hereby granted, free of charge, to any person obtaining
  a copy of this software and associated documentation files (the
  "Software"), to deal in the Software without restriction, including
  without limitation the rights to use, copy, modify, merge, publish,
  distribute, sublicense, and/or sell copies of the Software, and to
  permit persons to whom the Software is furnished to do so, subject to
  the following conditions:

  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.


Name: CaDiBack
Files: kompyle.libs/libcryptominisat5-*.so*, kompyle.libs/libarjun-*.so*
Description: statically linked inside CryptoMiniSat and Arjun
Availability: https://github.com/arminbiere/cadiback
License: MIT
  Copyright (c) 2023-2024 Armin Biere, JKU Linz, Austria

  Permission is hereby granted, free of charge, to any person obtaining
  a copy of this software and associated documentation files (the
  "Software"), to deal in the Software without restriction, including
  without limitation the rights to use, copy, modify, merge, publish,
  distribute, sublicense, and/or sell copies of the Software, and to
  permit persons to whom the Software is furnished to do so, subject to
  the following conditions:

  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.


Name: BreakID
Files: kompyle.libs/libbreakid-*.so*
Description: bundled as a dynamically linked library; contains bliss (LGPL-3.0)
Availability: https://github.com/meelgroup/breakid
License: MIT (BreakID itself); LGPL-3.0-or-later (bliss, statically linked within)

  BreakID MIT License:
  Copyright (c) 2016-2024 the BreakID authors

  Permission is hereby granted, free of charge, to any person obtaining
  a copy of this software and associated documentation files (the
  "Software"), to deal in the Software without restriction, including
  without limitation the rights to use, copy, modify, merge, publish,
  distribute, sublicense, and/or sell copies of the Software, and to
  permit persons to whom the Software is furnished to do so, subject to
  the following conditions:

  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.

  bliss (statically linked inside libbreakid):
  Copyright (c) 2003-2021 Tommi Junttila
  Licensed under the GNU Lesser General Public License, version 3 or later.
  See licenses/LICENSE-LGPL-3.0.txt for the full license text.
  Source availability: https://users.aalto.fi/~tjunttil/bliss/


Name: Arjun
Files: kompyle.libs/libarjun-*.so*
Description: bundled as a dynamically linked library
Availability: https://github.com/meelgroup/arjun
License: MIT
  Copyright (c) 2018-2022 Mate Soos, Kuldeep S. Meel

  Permission is hereby granted, free of charge, to any person obtaining
  a copy of this software and associated documentation files (the
  "Software"), to deal in the Software without restriction, including
  without limitation the rights to use, copy, modify, merge, publish,
  distribute, sublicense, and/or sell copies of the Software, and to
  permit persons to whom the Software is furnished to do so, subject to
  the following conditions:

  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.


Name: cereal
Files: kompyle.libs/libarjun-*.so*
Description: header-only library compiled into Arjun (via mlpack dependency chain)
Availability: https://github.com/USCiLab/cereal/archive/v1.3.2.tar.gz
License: BSD-3-Clause
  Copyright (c) 2013-2022, Randolph Voorhies, Shane Grant
  All rights reserved.

  Redistribution and use in source and binary forms, with or without
  modification, are permitted provided that the following conditions are met:

    * Redistributions of source code must retain the above copyright
      notice, this list of conditions and the following disclaimer.

    * Redistributions in binary form must reproduce the above copyright
      notice, this list of conditions and the following disclaimer in the
      documentation and/or other materials provided with the distribution.

    * Neither the name of the copyright holder nor the names of its
      contributors may be used to endorse or promote products derived from
      this software without specific prior written permission.

  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
  PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
  TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
  PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
  LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
  NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
  SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.


Name: mlpack
Files: kompyle.libs/libarjun-*.so*
Description: header-only library compiled into Arjun
Availability: https://github.com/mlpack/mlpack.git (tag 4.7.0)
License: BSD-3-Clause
  Copyright (c) 2007-2024, mlpack contributors
  All rights reserved.

  Redistribution and use in source and binary forms, with or without
  modification, are permitted provided that the following conditions are met:

    * Redistributions of source code must retain the above copyright
      notice, this list of conditions and the following disclaimer.

    * Redistributions in binary form must reproduce the above copyright
      notice, this list of conditions and the following disclaimer in the
      documentation and/or other materials provided with the distribution.

    * Neither the name of mlpack nor the names of its contributors may be
      used to endorse or promote products derived from this software
      without specific prior written permission.

  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
  PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
  TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
  PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
  LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
  NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
  SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.


Name: ensmallen
Files: kompyle.libs/libarjun-*.so*
Description: header-only library compiled into Arjun (via mlpack dependency chain)
Availability: https://github.com/mlpack/ensmallen/archive/refs/tags/2.22.2.tar.gz
License: BSD-3-Clause
  Copyright (c) 2018-2024 ensmallen contributors
  All rights reserved.

  Redistribution and use in source and binary forms, with or without
  modification, are permitted provided that the following conditions are met:

    * Redistributions of source code must retain the above copyright
      notice, this list of conditions and the following disclaimer.

    * Redistributions in binary form must reproduce the above copyright
      notice, this list of conditions and the following disclaimer in the
      documentation and/or other materials provided with the distribution.

    * Neither the name of the copyright holder nor the names of its
      contributors may be used to endorse or promote products derived from
      this software without specific prior written permission.

  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
  PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
  TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
  PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
  LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
  NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
  SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.


Name: Armadillo
Files: kompyle.libs/libarjun-*.so*
Description: compiled into Arjun (via mlpack dependency chain)
Availability: https://sourceforge.net/projects/arma/files/armadillo-14.0.2.tar.xz
License: Apache-2.0
  See licenses/LICENSE-Apache-2.0.txt for the full license text.
  See licenses/NOTICE-armadillo.txt for the required attribution notices.


Name: ApproxMC
Files: kompyle.libs/libapproxmc-*.so*
Description: bundled as a dynamically linked library
Availability: https://github.com/meelgroup/approxmc
License: MIT
  Copyright (c) 2018 Meel Group
  Kuldeep Meel, Mate Soos, Daniel Freemont and others

  Permission is hereby granted, free of charge, to any person obtaining
  a copy of this software and associated documentation files (the
  "Software"), to deal in the Software without restriction, including
  without limitation the rights to use, copy, modify, merge, publish,
  distribute, sublicense, and/or sell copies of the Software, and to
  permit persons to whom the Software is furnished to do so, subject to
  the following conditions:

  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.


Name: SBVA
Files: kompyle.libs/libsbva-*.so*
Description: bundled as a dynamically linked library; contains Eigen (MPL-2.0)
             and NetBSD getline/getdelim (BSD-2-Clause)
Availability: https://github.com/meelgroup/sbva
License: MIT (SBVA itself); MPL-2.0 (Eigen, statically linked within);
         BSD-2-Clause (NetBSD getline/getdelim, statically linked within)

  SBVA MIT License:
  Copyright (c) 2023 Andrew Haberlandt, Harrison Green, Marijn Heule

  Permission is hereby granted, free of charge, to any person obtaining
  a copy of this software and associated documentation files (the
  "Software"), to deal in the Software without restriction, including
  without limitation the rights to use, copy, modify, merge, publish,
  distribute, sublicense, and/or sell copies of the Software, and to
  permit persons to whom the Software is furnished to do so, subject to
  the following conditions:

  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.

  Eigen 3.4.0 (statically linked inside libsbva, permissive SparseCore subset only):
  Copyright (C) 2009 Benoit Jacob
  Copyright (C) 2009-2015 Gael Guennebaud
  Copyright (C) 2009-2015 the Eigen contributors
  Licensed under the Mozilla Public License, Version 2.0.
  See licenses/LICENSE-MPL-2.0.txt for the full license text.
  Source availability: https://libeigen.gitlab.io/

  NetBSD getline / getdelim (statically linked inside libsbva):
  Copyright (c) 2009 The NetBSD Foundation, Inc.
  Contributed by Christos Zoulas.
  License: BSD-2-Clause-NetBSD
  All rights reserved.

  Redistribution and use in source and binary forms, with or without
  modification, are permitted provided that the following conditions are met:

    1. Redistributions of source code must retain the above copyright
       notice, this list of conditions and the following disclaimer.

    2. Redistributions in binary form must reproduce the above copyright
       notice, this list of conditions and the following disclaimer in
       the documentation and/or other materials provided with the
       distribution.

  THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND
  CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING,
  BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
  FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
  FOUNDATION OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
  INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
  BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
  OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
  ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR
  TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE
  USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

  MurmurHash3 (statically linked inside libsbva):
  Written by Austin Appleby. Placed in the public domain.
  No attribution obligation.


Name: GANAK
Files: kompyle.libs/libganak-*.so*
Description: bundled as a dynamically linked library; contains FlowCutter (BSD-2-Clause)
             and BuDDy 2.4 (permissive custom license)
Availability: https://github.com/Ibrahimelk/ganak
License: MIT (GANAK itself); BSD-2-Clause (FlowCutter); custom permissive (BuDDy 2.4)

  GANAK MIT License:
  Copyright (c) 2018-2025 Mate Soos, Kuldeep S. Meel, Subhajit Roy, Shubham Sharma

  Permission is hereby granted, free of charge, to any person obtaining
  a copy of this software and associated documentation files (the
  "Software"), to deal in the Software without restriction, including
  without limitation the rights to use, copy, modify, merge, publish,
  distribute, sublicense, and/or sell copies of the Software, and to
  permit persons to whom the Software is furnished to do so, subject to
  the following conditions:

  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.

  FlowCutter / IFlowCutter (compiled into libganak):
  Copyright (c) 2016, Ben Strasser
  Copyright (C) 2023, Kenji Hashimoto
  All rights reserved.

  Redistribution and use in source and binary forms, with or without
  modification, are permitted provided that the following conditions are met:

    1. Redistributions of source code must retain the above copyright
       notice, this list of conditions and the following disclaimer.

    2. Redistributions in binary form must reproduce the above copyright
       notice, this list of conditions and the following disclaimer in
       the documentation and/or other materials provided with the
       distribution.

  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
  PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
  TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
  PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
  LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
  NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
  SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

  BuDDy 2.4 (compiled into libganak):
  Copyright (C) 1996-2002 Jorn Lind-Nielsen
  All rights reserved.

  Permission to use, copy, modify, and distribute this software and its
  documentation for any purpose, without fee, and without written
  agreement is hereby granted, provided that the above copyright notice
  and the following two paragraphs appear in all copies of this software.

  IN NO EVENT SHALL THE AUTHORS 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
  HAVE BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

  THE AUTHORS 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 HAVE NO OBLIGATION TO PROVIDE MAINTENANCE,
  SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.

  chibihash64 (compiled into libganak):
  Written by N-R-K. Released under the Unlicense (public domain).
  No attribution obligation.


Name: libmd4 (D4 model counter)
Files: kompyle.libs/libmd4-*.so*
Description: bundled as a dynamically linked library; contains bipe (AGPL-3.0),
             PaToH (non-commercial only), FlowCutter (BSD-2-Clause),
             Glucose 3.0 / MiniSat (MIT), and Boost.Multiprecision (BSL-1.0)
Availability: https://github.com/crillab/d4v2
License: LGPL-2.1-or-later (d4 core); AGPL-3.0-or-later (bipe, statically linked);
         NON-COMMERCIAL ONLY (PaToH, statically linked)

  *** IMPORTANT: PaToH restriction applies to this library ***
  PaToH is statically linked into libmd4. This library and any software
  using it is restricted to non-commercial / academic / research use only.
  See licenses/LICENSE-PaToH.txt and the Name: PaToH entry below.

  IMPORTANT – AGPL-3.0 notice:
  bipe (Copyright (C) 2021 Lagniez Jean-Marie) is statically linked into
  libmd4.so. The AGPL-3.0 requires that the complete Corresponding Source
  of the combined work be made available. The source used to build this
  library is available at: https://github.com/crillab/d4v2
  See licenses/LICENSE-AGPL-3.0.txt for the full license text.

  d4 core (LGPL-2.1-or-later):
  Copyright (C) 2020 Univ. Artois & CNRS
  Copyright (C) 2024 Univ. Artois & CNRS & KU Leuven
  See licenses/LICENSE-LGPL-2.1.txt for the full license text.
  Source availability: https://github.com/crillab/d4v2

  bipe (AGPL-3.0-or-later, statically linked into libmd4):
  Copyright (C) 2021 Lagniez Jean-Marie
  See licenses/LICENSE-AGPL-3.0.txt for the full license text.

  PaToH (non-commercial only, statically linked into libmd4):
  Copyright (c) 1996-2023 Ümit V. Çatalyürek
  See licenses/LICENSE-PaToH.txt for full terms.

  FlowCutter (BSD-2-Clause, compiled into libmd4):
  Copyright (C) 2016 Ben Strasser
  All rights reserved.

  Redistribution and use in source and binary forms, with or without
  modification, are permitted provided that the following conditions are met:

    1. Redistributions of source code must retain the above copyright
       notice, this list of conditions and the following disclaimer.

    2. Redistributions in binary form must reproduce the above copyright
       notice, this list of conditions and the following disclaimer in
       the documentation and/or other materials provided with the
       distribution.

  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
  PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
  TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
  PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
  LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
  NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
  SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

  Glucose 3.0 (MIT, compiled into libmd4):
  Copyright (C) 2009-2013 Gilles Audemard, Laurent Simon
  Based on MiniSat (Copyright (c) 2003-2006 Niklas Een, Niklas Sorensson)

  Permission is hereby granted, free of charge, to any person obtaining
  a copy of this software and associated documentation files (the
  "Software"), to deal in the Software without restriction, including
  without limitation the rights to use, copy, modify, merge, publish,
  distribute, sublicense, and/or sell copies of the Software, and to
  permit persons to whom the Software is furnished to do so, subject to
  the following conditions:

  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.

  MiniSat (MIT, compiled into Glucose / libmd4):
  Copyright (c) 2003-2010 Niklas Een, Niklas Sorensson

  Permission is hereby granted, free of charge, to any person obtaining
  a copy of this software and associated documentation files (the
  "Software"), to deal in the Software without restriction, including
  without limitation the rights to use, copy, modify, merge, publish,
  distribute, sublicense, and/or sell copies of the Software, and to
  permit persons to whom the Software is furnished to do so, subject to
  the following conditions:

  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.

  Boost.Multiprecision (BSL-1.0, compiled into libmd4):
  See the Boost license block above (Name: Boost) for the full license text.


Name: PaToH (Partitioning Tool for Hypergraphs)
Files: kompyle.libs/libmd4-*.so*
Description: statically linked inside libmd4; NON-COMMERCIAL USE ONLY
Availability: https://faculty.cc.gatech.edu/~umit/software.html
License: Proprietary – non-commercial / academic / research use only

  Copyright (c) 1996-2023 Ümit V. Çatalyürek
  All rights reserved.

  PaToH is available FREE OF CHARGE for non-commercial and academic /
  research use only.  Commercial use requires a separate paid license
  (contact: umit@gatech.edu).

  The PaToH license grants the right to USE the software.  It does NOT
  grant the right to redistribute, sublicense, or distribute the binary
  or source in any form without explicit written permission from the
  copyright holder.

  See licenses/LICENSE-PaToH.txt for the complete terms.
