Name: library/java/kodkod2
        Summary: Relational logic solver Kodkod 2
      Publisher: lnf
        Version: 2.1
  Build Release: 5.11
         Branch: 1.3.2.4
 Packaging Date: December 14, 2015 06:21:20 AM 
           Size: 10.42 MB
Compressed Size: 3.46 MB
           FMRI: pkg://lnf/library/java/kodkod2@2.1,5.11-1.3.2.4:20151214T062120Z

License:

Copyright (c) 2005 - present Emina Torlak