The Graph Refinement Toolset is distributed under the 2-Clause BSD license.
Please see the individual file headers for details. Each file either contains
an SPDX tag with license information or is listed in the dep5 file.
The full text of all licenses mentioned in this repository is available in the
LICENSES/ directory.
If required, the reuse tool can generate a full bill of materials.