set name=pkg.fmri value=pkg://lnf/developer/hets/cvc4@1.5.0.0.20150206,5.11-2.3.10.5:20160731T015354Z
set name=pkg.summary value="SMT solver Cooperating Validity Checker 4"
set name=pkg.description value="CVC4 is a tool for determining the satisfiability of a first order formula modulo a first order theory (or a combination of such theories). It is intended to be an open and extensible SMT engine.  It can be used as a stand-alone tool or as a library.  It has been designed to increase the performance and reduce the memory overhead of its predecessors."
set name=info.classification value=org.opensolaris.category.2008:Development/Hets
set name=info.source-url value=http://cvc4.cs.nyu.edu/builds/src/
set name=variant.arch value=i386
file 31a1e67edbfc86bc38c12596eb3a831120bd7297 chash=f8f55385a07a748f31bd78b8a246bf860aef277a elfarch=i386 elfbits=64 elfhash=48d90ef5d149ac1c8df63a30f7d33fa279ea72a8 group=bin mode=0755 owner=bin path=local/usr/bin/cvc4 pkg.csize=80424 pkg.size=224536
file f10d67e5aacb4a8863f46746b2a93dba817e129d chash=e943f10852191242a496bf39ca3286aa7c2cd51b elfarch=i386 elfbits=64 elfhash=ad21b0b9b18324fa304c13f445eb3a4472c7fae3 group=bin mode=0755 owner=bin path=local/usr/bin/lfsc-checker pkg.csize=134434 pkg.size=338680
link path=local/usr/lib/amd64/libcvc4.so target=libcvc4.so.3.0.0
link path=local/usr/lib/amd64/libcvc4.so.3 target=libcvc4.so.3.0.0
file f974ec39ff559c1deab8dca50dc6512a650ebf13 chash=95892e25c5d808bb03341229086a01e02538ad83 elfarch=i386 elfbits=64 elfhash=30450b1a3eeb0193518265ba5186988a1e32bce5 group=bin mode=0755 owner=bin path=local/usr/lib/amd64/libcvc4.so.3.0.0 pkg.csize=4407198 pkg.size=14220736
link path=local/usr/lib/amd64/libcvc4compat.so target=libcvc4compat.so.3.0.0
link path=local/usr/lib/amd64/libcvc4compat.so.3 target=libcvc4compat.so.3.0.0
file 5394d7150fea9f2c48b31b73a5024a6619972e81 chash=4ed5bbf19edc7d612d0d39050d071ca8b9d9382e elfarch=i386 elfbits=64 elfhash=541ef998c9eaa74211f225d73d661cc486dc47b5 group=bin mode=0755 owner=bin path=local/usr/lib/amd64/libcvc4compat.so.3.0.0 pkg.csize=157315 pkg.size=476176
link path=local/usr/lib/amd64/libcvc4parser.so target=libcvc4parser.so.3.0.0
link path=local/usr/lib/amd64/libcvc4parser.so.3 target=libcvc4parser.so.3.0.0
file 373c73e24d6a56f1be8c6e5b91c4686646556a87 chash=943e3c7b9d7e260f1c715483d3b3603af4e6cfe0 elfarch=i386 elfbits=64 elfhash=8c458556f93bb38fe28eae9ffd22cb4d74e12e9d group=bin mode=0755 owner=bin path=local/usr/lib/amd64/libcvc4parser.so.3.0.0 pkg.csize=531827 pkg.size=3197688
dir group=bin mode=0755 owner=bin path=local/usr/share/cvc4
file 9182cec6c24b99992139f4e68f5785dc572d3a2c chash=87f30d21b46dbd6066cd941c45cdd3984f41b78d group=bin mode=0444 owner=bin path=local/usr/share/cvc4/sat.plf pkg.csize=1201 pkg.size=4483
file 9045da37039711b3e455e4ce15c314454f38f77d chash=bfbd5ef1498d19a86ffc2facd14f06c552721c8c group=bin mode=0444 owner=bin path=local/usr/share/cvc4/smt.plf pkg.csize=1766 pkg.size=7956
file 5ec8525369588e6e7003852b1846e67be40ac9cc chash=e5edb87ef03bb0243d1ed58a58ceb6a7b243584b group=bin mode=0444 owner=bin path=local/usr/share/cvc4/th_arrays.plf pkg.csize=405 pkg.size=1780
file d192bd15ec2e600a782b8d08a6244b9028c303c6 chash=669d0bb221cb4bf13646f74ea4fd575932ebe3ae group=bin mode=0444 owner=bin path=local/usr/share/cvc4/th_base.plf pkg.csize=555 pkg.size=1986
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/cvc4
file 0b77d0c85667903fc5445f9dc46bd4c85279e4c6 chash=c5bd948949fcea79ade2b584f4d78e84c214f9a2 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/cvc4/AUTHORS pkg.csize=879 pkg.size=1789
file 1d8a88caa854cfb62c54afdef558230e300dff41 chash=7d8b485e1ac9e6ab37461076106ae92096303aa2 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/cvc4/NEWS pkg.csize=2643 pkg.size=5672
file f1051eb290e9e376fcd1c00f6a3680672518733c chash=90c99f6bd0dd9faf45aadbf154a62ff3a3a896e1 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/cvc4/README pkg.csize=2270 pkg.size=4834
file a913031d0810801e78b42d4ab475a3851376243c chash=ee04c414db8ca5c89af21469552c55a028cb736a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/cvc4/RELEASE-NOTES pkg.csize=3024 pkg.size=6701
file e62acbfa9cd28340a51ce7cc82e00f4517473ec1 chash=9bf929d162b4c01650a9706c73f4d25c27184199 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/cvc4/THANKS pkg.csize=464 pkg.size=795
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/cvc4/lfsc_checker
file ced7636a56db75dea3252aa550e8766376df21ab chash=32dc75d288fc7650f02a6d86387e157f0a681dd7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/cvc4/lfsc_checker/AUTHORS pkg.csize=102 pkg.size=94
file 5f8d7763c45f9595d91c16eae338e5d8ef046c5d chash=5dc66cde91a15f66404aa055f6bb3ad89fab203d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/cvc4/lfsc_checker/NEWS pkg.csize=225 pkg.size=309
file 6d8a260330671116613727fd123307aca79a2067 chash=42db5d15a659d1792d25d5498a8ed55f56647ff8 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/cvc4/lfsc_checker/README pkg.csize=1079 pkg.size=2801
file de252768f99e8a99734eadf0d0ddaccc2b133187 chash=2176231b763477670b74b05eebfe09f5a889d43c facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/cvc4.1 pkg.csize=10265 pkg.size=31088 restart_fmri=svc:/application/man-index:default
file de252768f99e8a99734eadf0d0ddaccc2b133187 chash=2176231b763477670b74b05eebfe09f5a889d43c facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man1/pcvc4.1 pkg.csize=10265 pkg.size=31088 restart_fmri=svc:/application/man-index:default
file c76e816ffed1457311a743c26161e378c428c0a4 chash=cd865682520487fbb587b99e5e3dad0af7728d85 facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man3/SmtEngine.3cvc pkg.csize=8850 pkg.size=27788 restart_fmri=svc:/application/man-index:default
file 6cd1dd1818bfb76d8d9ad1b8ca72c72704ce0d65 chash=2cb9a9ee49ec6f56a490ced2e2667db9601f4a2c facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man3/libcvc4.3 pkg.csize=787 pkg.size=1404 restart_fmri=svc:/application/man-index:default
file 91d28ef98c22c31e7e0f43cc67b94b101abe1746 chash=bf08b0d7b2a3220f9f3a9130d483dc3e0a413dfa facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man3/libcvc4compat.3 pkg.csize=336 pkg.size=488 restart_fmri=svc:/application/man-index:default
file f6944ad8bf298d2f82ccb531f2d278f2dc9c95db chash=abc74ae3a7fd8d7c25bd07b6735d068925030091 facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man3/libcvc4parser.3 pkg.csize=327 pkg.size=476 restart_fmri=svc:/application/man-index:default
file d0577c15a587495e9b74647af9f0e8d2c23a86f1 chash=9a9b737ea0c62569cc6dbaaa1524a26667b744c3 facet.doc.man=true group=bin mode=0444 owner=bin path=local/usr/share/man/man3/options.3cvc pkg.csize=10161 pkg.size=35794 restart_fmri=svc:/application/man-index:default
legacy arch=i386 category=develop,application desc="see: pkg info developer/hets/cvc4" name="SMT solver Cooperating Validity Checker 4" pkg=LNFcvc4 version=1.5.0.0.20150206
license 8559a1b3db09dca7eb090d52266f8ca12264651d chash=89f1d45b14d9cda48fde98983151fd6af345e070 license=LNFcvc4.copyright pkg.csize=154 pkg.size=174
depend fmri=pkg:/library/antlr3c@3.4 type=require
depend fmri=pkg:/library/gmp@4.3 type=require
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/math@0.5 type=require
depend fmri=pkg:/system/library@0.5 type=require