Name: developer/hets/minisat
        Summary: SAT solver MiniSat
      Publisher: lnf
        Version: 2.2.0.20130925
  Build Release: 5.11
         Branch: 1.3.1.5
 Packaging Date: November  2, 2015 08:12:07 PM 
           Size: 1.07 MB
Compressed Size: 439.39 kB
           FMRI: pkg://lnf/developer/hets/minisat@2.2.0.20130925,5.11-1.3.1.5:20151102T201207Z

License:

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