This program is free software; you can redistribute them and/or
modify them under the terms of the GNU General Public License, version
2, as published by the Free Software Foundation. 

See file gpl.txt  for specifics

The program is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
General Public License for more details. 

Express  license is given to link this program with QT Libraries
(including the commercial version), the BuDDy  BDD
library, as well as runtime libraries required to run DESpot on a
given platform.


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

The co-copyright for this software is held by Dr. Ryan Leduc,
associate professor of McMaster University, and the former graduate
students listed below for the portion of the software that they
wrote. 

Magdin Stoica:  Primary author and architect
Xiao Ma: Ged and simulator
Xu Han: Optimized algorithms
Raoguang Song: bddHISC algorithms
Yu Wang: bddSD algorithms 

