Dezyne Distribution -- Third-Party Software Notice
==================================================

This distribution of Dezyne contains third-party software, each
under its own license. Verum Software Tools B.V. distributes these
components in unmodified or recompiled form under the terms set out
below. The Dezyne sources, runtime headers, and example files in
this distribution are provided under the Verum commercial license
agreement.

----------------------------------------------------------------------
mCRL2
   Source:   https://www.mcrl2.org/
   License:  Boost Software License 1.0
   Notes:    Model checking and behavioural verification engine.

----------------------------------------------------------------------
GNU Guile
   Source:   https://gnu.org/software/guile/
   License:  GNU Lesser General Public License v3.0 or later (LGPL-3.0+)
   Notes:    Scheme interpreter used as the Dezyne runtime.

----------------------------------------------------------------------
GNU Readline
   Source:   https://tiswww.case.edu/php/chet/readline/rltop.html
   License:  GNU General Public License v3.0 or later (GPL-3.0+)
   Notes:    Line-editing library used by Guile.

----------------------------------------------------------------------
Boost C++ Libraries
   Source:   https://www.boost.org/
   License:  Boost Software License 1.0
   Notes:    Used by mCRL2.

----------------------------------------------------------------------
Boehm-Demers-Weiser Conservative Garbage Collector (libgc)
   Source:   https://www.hboehm.info/gc/
   License:  MIT-style permissive (libgc license)
   Notes:    Used by Guile.

----------------------------------------------------------------------
libunistring
   Source:   https://gnu.org/software/libunistring/
   License:  LGPL-3.0+ / GPL-2.0+ dual

----------------------------------------------------------------------
libiconv
   Source:   https://gnu.org/software/libiconv/
   License:  LGPL-2.1+

----------------------------------------------------------------------
GMP (GNU Multiple Precision Arithmetic Library)
   Source:   https://gmplib.org/
   License:  LGPL-3.0+ / GPL-2.0+ dual

----------------------------------------------------------------------
libffi
   Source:   https://sourceware.org/libffi/
   License:  MIT-style permissive

----------------------------------------------------------------------
SCMackerel
   Source:   https://gitlab.com/janneke/scmackerel
   License:  GNU General Public License v3.0 or later (GPL-3.0+)
   Notes:    Scheme bindings for mCRL2 used internally.

----------------------------------------------------------------------
Dezyne-P5
   Source:   https://gitlab.com/rma.wieringa/dezyne-p5
   License:  GNU General Public License v3.0 or later (GPL-3.0+)
   Author:   Rob Wieringa <rma.wieringa@gmail.com>
   Notes:    p5.js-based Dezyne web views (diagrams and visualisations).

----------------------------------------------------------------------
p5.js
   Source:   https://p5js.org/
   License:  GNU Lesser General Public License v2.1 (LGPL-2.1)
   Notes:    Bundled by Dezyne-P5 for canvas rendering.

----------------------------------------------------------------------
viz.js
   Source:   https://github.com/mdaines/viz-js
   License:  MIT License
   Notes:    Graphviz port to JavaScript, used for diagram layout.

----------------------------------------------------------------------

For the full text of each license, see the corresponding entry in
the source repository indicated above, or the LICENSES/ directory
inside this distribution where applicable.
