CVC4 is copyright (C) 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017 by its authors and contributors (see the file AUTHORS) and their institutional affiliations. All rights reserved.