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