mCRL2 toolset
Copyright (C) 2005-2014 Eindhoven University of Technology

All files except for those found under the 3rd-party directory are distributed
under the Boost Software License, Version 1.0 (see accompanying
file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt).

The software under the 3rd-party directory have their own licenses, which can
be found in their respective COPYING files.
