Copyright 2016 Andre Noll <maan@tuebingen.mpg.de>

This package is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License, version 3
(lopsubgen), or the GNU Library General Public License, version 3
(liblopsub).

On Debian GNU systems, the complete text of the GNU General Public
License can be found in `/usr/share/common-licenses/GPL-3'. The
complete text of the GNU Library General Public License can be found in
'/usr/share/common-licenses/LGPL-3'.

The examples and all code generated by the utilities are in the
public domain. You are free to do anything you like with the generated
code, including incorporating it into or linking it with proprietary
software.