STP imports code from the following libraries:
	* Bit::Vector Copyright (c) 1995 - 2004 by Steffen Beyer. 
	* CVC's SMT-LIB Parser  Copyright (C) 2004 by the Board of Trustees
		of Leland Stanford Junior University and by New York University.
	* ABC Copyright (c) The Regents of the University of California.
	* Windows msc99hdr Copyright (c) 2006-2008 Alexander Chemeris
		Copyright (c) 2000 Jeroen Ruigrok van der Werven <asmodai@FreeBSD.org>

For testing purposes we also use (but do not compile STP with):
	* llvm-lit Copyright (c) 2003-2014 University of Illinois at Urbana-Champaign.
	* OutputCheck Copyright (c) 2014, Daniel Liew
	* GoogleTest framework Copyright 2008, Google Inc.


Individual licenses are listed below
================================================================================

Bit::Vector
	This library is free software; you can redistribute it and/or    
	modify it under the terms of the GNU Library General Public      
	License as published by the Free Software Foundation; either     
	version 2 of the License, || (at your option) any later version. 
	                                                                 
	This library is distributed in the hope that it will be useful,  
	but WITHOUT ANY WARRANTY; without even the implied warranty of   
	MERCHANTABILITY || FITNESS FOR A PARTICULAR PURPOSE. See the GNU 
	Library General Public License for more details.                 
	                                                                 
	You should have received a copy of the GNU Library General Public
	License along with this library; if not, write to the            
	Free Software Foundation, Inc.,                                  
	59 Temple Place, Suite 330, Boston, MA 02111-1307 USA            
	                                                                 
	|| download a copy from ftp://ftp.gnu.org/pub/gnu/COPYING.LIB-2.0

CVC's SMT-LIB Parser
	\file smtlib.y
	
	Author: Sergey Berezin, Clark Barrett
	
	Created: Apr 30 2005
	
	Copyright (C) 2004 by the Board of Trustees of Leland Stanford
	Junior University and by New York University. 
	
	License to use, copy, modify, sell and/or distribute this software
	and its documentation for any purpose is hereby granted without
	royalty, subject to the terms and conditions defined in the \ref
	LICENSE file provided with this distribution.  In particular:
	
	- The above copyright notice and this permission notice must appear
	in all copies of the software and related documentation.
	
	- THE SOFTWARE IS PROVIDED "AS-IS", WITHOUT ANY WARRANTIES,
	EXPRESSED OR IMPLIED.  USE IT AT YOUR OWN RISK.

ABC
	Copyright (c) The Regents of the University of California. All rights reserved.

	Permission is hereby granted, without written agreement and without license or
	royalty fees, to use, copy, modify, and distribute this software and its
	documentation for any purpose, provided that the above copyright notice and
	the following two paragraphs appear in all copies of this software.

	IN NO EVENT SHALL THE UNIVERSITY OF CALIFORNIA BE LIABLE TO ANY PARTY FOR
	DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING OUT OF
	THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF THE UNIVERSITY OF
	CALIFORNIA HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

	THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING,
	BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
	A PARTICULAR PURPOSE. THE SOFTWARE PROVIDED HEREUNDER IS ON AN "AS IS" BASIS,
	AND THE UNIVERSITY OF CALIFORNIA HAS NO OBLIGATION TO PROVIDE MAINTENANCE,
	SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.

Windows msc99hdr
	Copyright (c) 2006-2008 Alexander Chemeris
	Copyright (c) 2000 Jeroen Ruigrok van der Werven <asmodai@FreeBSD.org>

	Redistribution and use in source and binary forms, with or without
	modification, are permitted provided that the following conditions are met:

		1. Redistributions of source code must retain the above copyright notice,
			this list of conditions and the following disclaimer.

		2. Redistributions in binary form must reproduce the above copyright
			notice, this list of conditions and the following disclaimer in the
			documentation and/or other materials provided with the distribution.

		3. The name of the author may be used to endorse or promote products
			derived from this software without specific prior written permission.

	THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR IMPLIED
	WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
	MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO
	EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
	SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
	PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
	OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, 
	WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
	OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
	ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

LLVM integration tester (llvm-lit)
	University of Illinois/NCSA
	Open Source License

	Copyright (c) 2003-2014 University of Illinois at Urbana-Champaign.
	All rights reserved.

	Developed by:

		LLVM Team

		University of Illinois at Urbana-Champaign

		http://llvm.org

	Permission is hereby granted, free of charge, to any person obtaining a copy of
	this software and associated documentation files (the "Software"), to deal with
	the Software without restriction, including without limitation the rights to
	use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies
	of the Software, and to permit persons to whom the Software is furnished to do
	so, subject to the following conditions:

		* Redistributions of source code must retain the above copyright notice,
			this list of conditions and the following disclaimers.

		* Redistributions in binary form must reproduce the above copyright notice,
			this list of conditions and the following disclaimers in the
			documentation and/or other materials provided with the distribution.

		* Neither the names of the LLVM Team, University of Illinois at
			Urbana-Champaign, nor the names of its contributors may be used to
			endorse or promote products derived from this Software without specific
			prior written permission.

	THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
	IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
	FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL THE
	CONTRIBUTORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
	LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
	OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS WITH THE
	SOFTWARE.

OutputCheck
	Copyright (c) 2014, Daniel Liew All rights reserved.

	Redistribution and use in source and binary forms, with or without modification,
	are permitted provided that the following conditions are met:

	1. Redistributions of source code must retain the above copyright notice, this
	list of conditions and the following disclaimer.

	2. Redistributions in binary form must reproduce the above copyright notice,
	this list of conditions and the following disclaimer in the documentation and/or
	other materials provided with the distribution.

	3. Neither the name of the copyright holder nor the names of its contributors
	may be used to endorse or promote products derived from this software without
	specific prior written permission.

	THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
	ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
	WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
	DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR
	ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
	(INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
	LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
	ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
	(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
	SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

GoogleTest framework
	Copyright 2008, Google Inc.
	All rights reserved.

	Redistribution and use in source and binary forms, with or without
	modification, are permitted provided that the following conditions are
	met:

		* Redistributions of source code must retain the above copyright
	notice, this list of conditions and the following disclaimer.
		* Redistributions in binary form must reproduce the above
	copyright notice, this list of conditions and the following disclaimer
	in the documentation and/or other materials provided with the
	distribution.
		* Neither the name of Google Inc. nor the names of its
	contributors may be used to endorse or promote products derived from
	this software without specific prior written permission.

	THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
	"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
	LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
	A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
	OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
	SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
	LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
	DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
	THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
	(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
	OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
