Name: developer/hets/cvc4
        Summary: SMT solver Cooperating Validity Checker 4
      Publisher: lnf
        Version: 1.5.0.0.20150206
  Build Release: 5.11
         Branch: 2.3.10.5
 Packaging Date: July 31, 2016 01:53:54 AM 
           Size: 17.76 MB
Compressed Size: 5.12 MB
           FMRI: pkg://lnf/developer/hets/cvc4@1.5.0.0.20150206,5.11-2.3.10.5:20160731T015354Z

License:

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.