License for SmvFlatten

The source code contained in this archive and any program derived from the
source code, may be used for personal or academic purposes only. If you are
interested in using the source code in an industrial environment, i.e. if
you want to include the software as a whole or in parts in a commercial
product or if you use the software to test or produce a commercial product,
then please contact the author, who, under certain conditions, will provide
you with a less restricted license.

Armin Biere, 18. May 2000