set name=pkg.fmri value=pkg://lnf/developer/hets/zchaff@2008.10.12,5.11-1.3.2.4:20151117T060519Z
set name=pkg.summary value="SAT solver Zchaff"
set name=pkg.description value="Zchaff is an SAT solver which implements the well known Chaff algorithm."
set name=info.classification value=org.opensolaris.category.2008:Development/Hets
set name=info.source-url value=https://www.princeton.edu/~chaff/zchaff.html
set name=variant.arch value=i386
file d01e927e5f52d2eb1ae7e5748f594244a095dc4a chash=ae474db2bb0af9d0029924d380e95da6fc3760e5 elfarch=i386 elfbits=32 elfhash=667990cc57caa1311f9f6fa2d19accd36ec5f06a group=bin mode=0755 owner=bin path=local/usr/bin/zchaff pkg.csize=416120 pkg.size=1175960
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/zchaff
file 268a074c4fe941962a62444fd6ee2987089a8615 chash=a0a846a26f2c1cf5607cc432887bd976f9365313 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/zchaff/README pkg.csize=2379 pkg.size=5361
file 5770f961f096b45a2fc319fa0066f7b03c13a215 chash=16e74eb0f95a5d549d1fef722061c983a415723c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/zchaff/SAT.h pkg.csize=5651 pkg.size=17914
file 9905dd04166e8f61f9d3cc05c8878f66863af065 chash=2ab09771751ecddcf8073e3c143d7998e78b5dc1 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/zchaff/libsat.a pkg.csize=645174 pkg.size=2123920
file 49e1121500767d54f4f6cf70d5ea658566e37d79 chash=a4fc83d62809cac6ceb0a42ae44224b9bebbc1f2 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/zchaff/run_till_fix.pl pkg.csize=423 pkg.size=767
legacy arch=i386 category=develop,application desc="see: pkg info developer/hets/zchaff" name="SAT solver Zchaff" pkg=LNFzchaff version=2008.10.12
license 567d5622749b5c76f9802173c1710db524c442c7 chash=3f121aee4888f96da6879e3d521b78614cd8e9d6 license=LNFzchaff.copyright pkg.csize=943 pkg.size=1934
depend fmri=pkg:/system/library/gcc/gcc-c++-runtime@4.8 type=require
depend fmri=pkg:/system/library/gcc/gcc-c-runtime@4.8 type=require
depend fmri=pkg:/system/library@0.5 type=require