LICENCES.txt

#********************************************************************
# Copyright 2014 Loi Luu
#********************************************************************
# AUTHORS: Loi Luu
#
# BEGIN DATE: April 2014
#
# This file belongs to the SMC string counter project (A Model Counter for 
# Constraints Over Unbounded Strings)
#
#********************************************************************

This is SMC string model counter solver and grammar utilities.

This software is released by Loi Luu (loiluu@nus.edu.sg) and
others.

SMC, and the included libraries on which it is based, are free software. 
You may redistribute and/or modify them
under the terms of the GNU General Public License (GPL) as published
by the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.

This software may include software and data by others, released under
their own licenses.

SMC 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.

You should have received a copy of the GNU General Public License
along with this program, in the file COPYING. If not, see
<http://www.gnu.org/licenses/>.