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