| The MIT License |
| |
| Copyright (c) |
| 2005 - 2015 Vijay Ganesh. Main codebase, project lead |
| 2010 - 2014 Trevor Hansen |
| 2013 - 2015 Ryan Govostes |
| 2013 - 2015 Dan Liew |
| 2011 - 2013 Khoo Yit Phang |
| 2005 - 2015 David L. Dill |
| 2009 - 2015 Mate Soos |
| |
| Permission is hereby granted, free of charge, to any person obtaining |
| a copy of this software and associated documentation files (the |
| "Software"), to deal in 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: |
| |
| The above copyright notice and this permission notice shall be |
| included in all copies or substantial portions of the Software. |
| |
| 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 AUTHORS 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 IN THE SOFTWARE. |
| |
| --- |
| |
| Also includes copyrighted software from: |
| * 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 licenses of these SW packages, please see LICENSE_COMPONENTS |