Name: library/java/kodkod
        Summary: Relational logic solver Kodkod
      Publisher: lnf
        Version: 1.5.2
  Build Release: 5.11
         Branch: 1.3.2.4
 Packaging Date: December 14, 2015 05:59:07 AM 
           Size: 9.44 MB
Compressed Size: 2.74 MB
           FMRI: pkg://lnf/library/java/kodkod@1.5.2,5.11-1.3.2.4:20151214T055907Z

License:

Copyright (c) 2005-2011 Emina Torlak