From 25e5a9ffd4c980630082213d96ff239e4b9f4e37 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Thu, 16 Jun 2011 05:31:00 +0000 Subject: [PATCH] Add boost to the licence, fix bitvector description. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1344 e59a4935-1847-0410-ae03-e826735625c1 --- LICENSE_COMPONENTS | 26 ++++++++++++++++++++++++-- 1 file changed, 24 insertions(+), 2 deletions(-) diff --git a/LICENSE_COMPONENTS b/LICENSE_COMPONENTS index 1071f1b..6d3ba55 100644 --- a/LICENSE_COMPONENTS +++ b/LICENSE_COMPONENTS @@ -5,8 +5,7 @@ STP links to copyrighted librarys: * CryptoMinisat Copyright (c) 2009 Mate Soos * ocaml-wrapper Copyright BitBlaze, 2007. All rights reserved. * ABC by Alan Mishchenko - -STP statically links to a modified version of Bit::Vector, which is is released under the GPL. + * Boost by various: http://www.boost.org/ MINISAT /**************************************************************************************** @@ -149,4 +148,27 @@ ABC +Boost + Boost Software License - Version 1.0 - August 17th, 2003 + + Permission is hereby granted, free of charge, to any person or organization + obtaining a copy of the software and accompanying documentation covered by + this license (the "Software") to use, reproduce, display, distribute, + execute, and transmit the Software, and to prepare derivative works of the + Software, and to permit third-parties to whom the Software is furnished to + do so, all subject to the following: + + The copyright notices in the Software and this entire statement, including + the above license grant, this restriction and the following disclaimer, + must be included in all copies of the Software, in whole or in part, and + all derivative works of the Software, unless such copies or derivative + works are solely in the form of machine-executable object code generated by + a source language processor. + 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, TITLE AND NON-INFRINGEMENT. IN NO EVENT + SHALL THE COPYRIGHT HOLDERS OR ANYONE DISTRIBUTING THE SOFTWARE BE LIABLE + FOR ANY DAMAGES OR OTHER LIABILITY, WHETHER IN CONTRACT, TORT OR OTHERWISE, + ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER + DEALINGS IN THE SOFTWARE. -- 2.47.3