Name: developer/hets/z3
        Summary: Theorem Prover Z3
      Publisher: lnf
        Version: 4.4.1
  Build Release: 5.11
         Branch: 1.3.1.5
 Packaging Date: October 30, 2015 05:39:26 PM 
           Size: 74.98 MB
Compressed Size: 23.39 MB
           FMRI: pkg://lnf/developer/hets/z3@4.4.1,5.11-1.3.1.5:20151030T173926Z

License: