This project, implementing the Connect++ theorem 
prover and associated infrastructure, is licensed 
under the GNU General Public License (GPL) Version 
3.
