Name: developer/hets/yices
        Summary: SMT solver Yices2
      Publisher: lnf
        Version: 2.4.1
  Build Release: 5.11
         Branch: 1.3.2.4
 Packaging Date: November 17, 2015 05:07:35 AM 
           Size: 8.49 MB
Compressed Size: 3.33 MB
           FMRI: pkg://lnf/developer/hets/yices@2.4.1,5.11-1.3.2.4:20151117T050735Z

License:

MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
           Copyright (c) 2007-2010  Niklas Sorensson