set name=pkg.fmri value=pkg://lnf/developer/hets/yices@2.4.1,5.11-1.3.2.4:20151117T050735Z
set name=pkg.summary value="SMT solver Yices2"
set name=pkg.description value="Yices 2 is an SMT solver that decides the satisfiability of formulas containing uninterpreted function symbols with equality, linear real and integer arithmetic, bitvectors, scalar types, and tuples. It can process input written in the SMT-LIB notation (both versions 2.0 and 1.2 are supported) or Yices 2's own specification language, which includes tuples and scalar types."
set name=info.classification value=org.opensolaris.category.2008:Development/Hets
set name=info.source-url value=http://yices.csl.sri.com/
set name=variant.arch value=i386
file df84f277dd55fa2661c0b4e10a03c70b68b2c590 chash=3d3f24582639780df7617da962741ad8e7772688 elfarch=i386 elfbits=32 elfhash=b290e16c36b0bdef1275dc59bc1e12e2e20138e9 group=bin mode=0755 owner=bin path=local/usr/bin/yices pkg.csize=750887 pkg.size=1828728
file 9373650df3e1e3d80d5e8aa60b672d5eb642c371 chash=5d764628ff9f6c4338c17c3d9dc2ffb1b358e324 elfarch=i386 elfbits=32 elfhash=2c04d1fc0666666a29a0291f82cf2dabb97b64e7 group=bin mode=0755 owner=bin path=local/usr/bin/yices-sat pkg.csize=20006 pkg.size=38136
file a900735350bbc7855d4cf0fec34acf98894a2055 chash=ecff0b92cd5f307b688e31ce16784e2b0cbee4f2 elfarch=i386 elfbits=32 elfhash=4405a17b90c3258af72f69343089ec4324d707ef group=bin mode=0755 owner=bin path=local/usr/bin/yices-smt pkg.csize=703099 pkg.size=1690680
file d6bfc9a5eea0c446548482a6f07aae9c85d79de8 chash=09f7412935a9c0a6969a46f9643d18ca691418eb elfarch=i386 elfbits=32 elfhash=9b4561f3c70abacac5b1cbe69bd5e28243be60e8 group=bin mode=0755 owner=bin path=local/usr/bin/yices-smt2 pkg.csize=734316 pkg.size=1764120
file d214efece2a4f52c0e250c89b932fc6bd6b9f78e chash=8f3638bdf1750ce3b2fd1b7b4760fb9e12217b74 facet.devel=true group=bin mode=0664 owner=bin path=local/usr/include/yices.h pkg.csize=27641 pkg.size=125490
file 833a6c091b35ad0cb74e89c2705ed7b167301c10 chash=b85c04cb64f72b129fffb0c49018c07fd4669bab facet.devel=true group=bin mode=0664 owner=bin path=local/usr/include/yices_exit_codes.h pkg.csize=457 pkg.size=887
file 5284d35c07d721e02b5557decbbc223452dff23d chash=ab48f8f9a95f662c53d2abe4e64ded1ecfa40d44 facet.devel=true group=bin mode=0664 owner=bin path=local/usr/include/yices_limits.h pkg.csize=524 pkg.size=987
file b9f4ad0391d9ed85a9240bfad24cf76062e32d95 chash=8a439f3ca778e71cf9dab656055103fd5b003e5e facet.devel=true group=bin mode=0664 owner=bin path=local/usr/include/yices_types.h pkg.csize=4785 pkg.size=15386
file 961cc8d593a394b66c99fdb158544446897ea3f5 chash=c8fdfa4c2955404aea280c7cb504056fd4f006ef elfarch=i386 elfbits=32 elfhash=fb1dfef66c6c452144b45535038611a067eb348c group=bin mode=0755 owner=bin path=local/usr/lib/libyices.so.2.4.1 pkg.csize=781801 pkg.size=1911176
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/yices
file 2658f778e796b658f5d31ff1c97531306403dd5c chash=6d69a6583729ada23cd16b60d0699b0d472c8ac3 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/YICES-LANGUAGE pkg.csize=10590 pkg.size=33973
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/yices/examples
file e84d398d8d1458e5aba96233bc943602da46ab5c chash=ab697c7f4dc0e71d76b218c4185c42408bd4a1e3 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/abs_axiom.smt2 pkg.csize=108 pkg.size=105
file a600976b79a77cbe20abaf9a119cf22f800130bc chash=d3cd58f0ee06d5455de01b180b6bad21e8355fa9 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/abs_axiom2.smt2 pkg.csize=103 pkg.size=101
file 437915e0d05f06186aa1b0e527a01e5e5b8cdf1f chash=4c12983d9c0345bd7f19a2a637e7cfce40734342 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/abs_test1.smt2 pkg.csize=123 pkg.size=133
file 29234808441d3b837fc449aefb90315ac1931215 chash=8b57add4ae28c3244f9c16cfba0414b2447bcd2b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/abs_test2.smt2 pkg.csize=122 pkg.size=133
file c1f45bf72868e462cdfdc85b55d66f7b1a2672e2 chash=a26a70be0dcfa4d8205aef33629d422d2c67908b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/abs_test3.smt2 pkg.csize=115 pkg.size=114
file 254adc200bde0df2dc1e62fc7f8759eb170d0972 chash=b33154549a5be00e38f0d0238b41e2cabc73f239 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/abs_test4.smt2 pkg.csize=93 pkg.size=78
file 8c126356086dbebc7109965dfb5a4ecbe287c7f2 chash=f80b12116b81fe02741fda24b73c7838ab10a051 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/abs_test5.smt2 pkg.csize=108 pkg.size=102
file 38313a41ca6f5fa9c9cccddf8f4041a9c5d82546 chash=3c03d116a7d048b409c6e82fdf49358efd255421 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/abs_test6.smt2 pkg.csize=115 pkg.size=118
file 95b7ec724e40827e3fc8eb9fb59d63517cae8790 chash=bb8aae05bd5eb1f6f2ee7b5f301b0383de4a8405 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/arith_mix.ys pkg.csize=239 pkg.size=403
file c4eac9e853de1d617234700f3d532d8e57dcc2ae chash=fd7fce35b08be674e1c9840a85a870b35c353d6a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/babic2-bool.ys pkg.csize=349 pkg.size=1124
file 469118167039eeb1e6ef265ed8d7ae7e44d2d80a chash=83c073c8da1e4c60f5e4ae42d61bf9c90e10c6c4 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/bool_eqs.ys pkg.csize=99 pkg.size=198
file 6a95dab5be840aebeb9db5378d47a49e740c3efd chash=caeb8940210222e4306ff95ac4526e7d7e56714f facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/bool_eqs2.ys pkg.csize=165 pkg.size=379
file 94ea006c0c8ae369be3e78ec2d62c3cf97c7460c chash=cd7ff0f1047109d8c7e2f8d896ff7e612d3ffcc5 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/bool_eqs3.ys pkg.csize=123 pkg.size=269
file 93debf90af969678dccea65646de040410f47378 chash=b6a0a5c234d2bac1199d5c15b80aa94a5fc0cdd6 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/bool_eqs4.ys pkg.csize=166 pkg.size=669
file 3d5ef5405c5a2a7f922f69bc46e7604f606f696a chash=8c0b3af996d3749666231c1ce629c10aa5b6a2c2 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/bv_add20.ys pkg.csize=130 pkg.size=204
file 5acf915cdbfba2a05c920ba38e1b9b9f1f3ee60a chash=aa2951b40ddb67fc44b3de8f0c54b0e3df4987a3 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/bv_add20_bool.ys pkg.csize=6654 pkg.size=43164
file 7b3b3ace67711880bc716c406468fada736e97f8 chash=f5e42faabd02bc8159831374001d0a048ac84af3 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/bv_mix.ys pkg.csize=264 pkg.size=532
file f85c561d48bdd9adaecf0ab17b05845983b8021e chash=c2f52a66fd1296030136e34ecb86767bcaf7bcc8 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/bv_mul10.ys pkg.csize=128 pkg.size=204
file 4406f9a620dec0a6753213a1d3746b4aa5ffaaa0 chash=5bd87d7d7452416f609ff8d7ca91473d6477e7bf facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/bv_mul15.ys pkg.csize=130 pkg.size=204
file d10d52b667af5808cac9b85338db326751b74c7a chash=02559305f917a5825cd3bfcf40e22e1d16ab953e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/bv_mul20.ys pkg.csize=129 pkg.size=204
file 82eb57ac0a6cc085963c57455115820c8d868951 chash=8dec95c2f4a4d689359f109c7c5bba487dc1e199 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/bv_neg20.ys pkg.csize=93 pkg.size=114
file eafaaabfd4d3e355df3e46d9acef1253ece3c524 chash=d9b31e7c918f493c68c85742f19e45dedd9d8be0 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/bv_neg20_bool.ys pkg.csize=2422 pkg.size=14168
file b432a07e7b068d3d3c93b501a5057c2249216efc chash=e985937ae26bafa747cd903493c7e3977d29af17 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/bv_not20.ys pkg.csize=93 pkg.size=114
file 7c69a07c7f12842aa1c7d7dab65e551062ce516a chash=6b0f2518853c931d7baa6c0ab13c3a0bbca0b3e1 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/bv_not4.ys pkg.csize=92 pkg.size=112
file 57539b65d7fa25e32a8c6f6502aa4d4d710b3e42 chash=699e17460253ab6dfb20a16df67b761541e8b67c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/bv_test.ys pkg.csize=130 pkg.size=226
file a61b3aeeb90b5ed702de92483f2e8f906122e3ce chash=c30bd9c0d23845fa2e569a09ea99caded03d5f72 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/bv_test1.ys pkg.csize=168 pkg.size=267
file 96ca88be649ccb38101d0cdafd4c0ceb238c7263 chash=3de6dc6a88b9f4ad419478b2ee577acb4ad05580 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/bv_test2.ys pkg.csize=177 pkg.size=287
file 9bf309abe0c0dc1ee5e654a24970975ea8a9e421 chash=de504b042a114df92fac65f47513405102fce60d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/dioph-crt1.ys pkg.csize=128 pkg.size=196
file 60c0766456af4184ab2e4e95316b9c3125e9170a chash=156aa2e45a33dde12275e129cf9784d70f4f21ee facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/div_axiom1.smt2 pkg.csize=140 pkg.size=162
file 11e84fc8ce2e03ed28ca729bb0b012ee1c832c06 chash=2d3c8070218365b8c6dcec8f5bff93428aee0511 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/div_axiom2.smt2 pkg.csize=109 pkg.size=98
file fe46a26d30691a7c1dc45688177109b048e922b5 chash=a42e0a41f3538c3e478d19c1bcb9119233a4fb36 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/div_axiom3.smt2 pkg.csize=115 pkg.size=105
file eb5415fc81ddfbb00c96013e5d81be414d479a3c chash=06db4a36f189e52d45767c04d3fa4e7eff1296d7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/div_axiom4.smt2 pkg.csize=156 pkg.size=218
file 296a05e805282db9b667beb0a90f1d99a019a3ad chash=a9e9f1da6d075fca50f354dbb4da7bdebbbdf150 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/div_axiom5.smt2 pkg.csize=113 pkg.size=117
file b35866236d7bb2288e5c79e4b048c7702acc2355 chash=2546427df557a90be07f15ececca9f2cff99321c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/div_axiom6.smt2 pkg.csize=113 pkg.size=120
file 5330237f72edcfa29e0a9b5a7b1077c7313265d3 chash=b62f0e4119a3ed4c1c38c0a5526ddc75813253c6 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/div_test1.smt2 pkg.csize=122 pkg.size=128
file c9f6f47b0ca873c79a552ed7258bcb91c5d0034f chash=51646e306dd0578cda4f387f7353eb14f5574ea1 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/div_test2.smt2 pkg.csize=125 pkg.size=132
file 342ebda41f6a87c0f29e88cb75f2c849b2cdcdf8 chash=3bf60c1d2293685a3866f854582dc7cce50d2b99 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/div_test3.smt2 pkg.csize=138 pkg.size=148
file 2c76854cb1bf445d5e9b2d21109b1e9c0742d9eb chash=21cb1d8d1193747880d3f61f1c1b20101431f2f0 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/div_test4.smt2 pkg.csize=125 pkg.size=140
file 108276f974e44348955aa73d08f2fcc6264fa899 chash=d9d68a749b41ed9a7727357f18fb7e26cd345877 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/div_test5.smt2 pkg.csize=125 pkg.size=143
file def46f4279d2e82f69870166334dee040199f40a chash=521c9538d1a5614e92ab4601de77e5cbaeea3c20 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/div_test6.smt2 pkg.csize=141 pkg.size=163
file 19ae97d09e43e5f79b9b7a5ddfe11a993d5251fb chash=55d36b9acd7824b0c091602373600c2a097044bd facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/divides_test1.smt2 pkg.csize=130 pkg.size=151
file 41664cc6bfbd3ffb94dbe1311ba8c7850cf6c4c4 chash=2e3fc15e0c2169d81f5f98cb54318c1790d0858e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/divides_test2.smt2 pkg.csize=139 pkg.size=168
file 5595750072a7ef92214607f9563cef2f67d0aaa7 chash=605e43624f6e03b61cc9bf39b7cf228e50a3e564 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/divides_test3.smt2 pkg.csize=145 pkg.size=185
file 34eb620e6675a487f792c7aeb29c004e33d1fc47 chash=87f0fcf8b553078a4f997c4e029ec2e92941b0d7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/divides_test4.smt2 pkg.csize=144 pkg.size=185
file 67633a26d915fffd1e93d90ab4042d691754d091 chash=9bb4c699711c4daa33e88cf65af38041800a6f69 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/divides_test5.smt2 pkg.csize=141 pkg.size=172
file 5a80e4aa91ca3be996a92f2bab436646083296cf chash=b68252dd2ea48cf31d5778a9ffde4fa551bb06fc facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/divides_test6.smt2 pkg.csize=144 pkg.size=180
file 83b49ece3df699fa60f509695b84360bd0d94a0b chash=833fa64d2592448a62266ae9bad76c252273c01e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/example1.c pkg.csize=1375 pkg.size=3798
file a1fa8e076c783f6372611051340120895f4d3476 chash=57ca591a3c94b0f3e5406c70143c78f9f8c281e3 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/example2.c pkg.csize=916 pkg.size=2223
file 771ce7aaf9d34f267b87c7da9282a1b06b352c28 chash=d55d1f84c254e177820a7b263e52f0dec94dcebd facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/floor_axiom.smt2 pkg.csize=132 pkg.size=141
file 5d6fdc19ff0de980dfc91a2a9eb1ba49b0e1829c chash=c34695d31db3bd02739100e8dbca7f7566a8a33d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/floor_axiom2.smt2 pkg.csize=110 pkg.size=96
file e5c901a225b7eeb02e82a107530dc434144da768 chash=c1f20cff51741c0fce418956856161443346fed1 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/floor_axiom3.smt2 pkg.csize=111 pkg.size=97
file ff8f555173eb756020df2d9de90cdc69ceea6e69 chash=ab69d2cf878bae79c350cb2d6938797371d4977a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/floor_axiom4.smt2 pkg.csize=106 pkg.size=89
file 385543fb7f09a091d7a41993ab2f11b5554f6fce chash=17b3ff75c937223a8fe1f923254c3f11790efb06 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/floor_axiom5.smt2 pkg.csize=98 pkg.size=82
file 4598020946f2088485701c128d5e6a92851a5c22 chash=24ca9a0d829a288f343a2197582bd3c116a5c1fe facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/floor_test1.smt2 pkg.csize=126 pkg.size=129
file f55633f5b05d6bb9447c218ff1d5a34ec2cd71b7 chash=fe0bbde8ec3f0d052afea62e51d2351fd0631a8e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/floor_test2.smt2 pkg.csize=123 pkg.size=129
file de94bc0c72909429a2050813886df03598d409f5 chash=b2fd66d29041032d063a9022fd5eb0f973afe10e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/floor_test3.smt2 pkg.csize=134 pkg.size=144
file 54a06e4baae3687da2be678a014f74807569c73f chash=79e94431bb20b3f62a4da20e740b0273bc4f13f7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/frugal10.ys pkg.csize=292 pkg.size=975
file ea73fd934e97eb5e0b43b5081f8c56043bb75779 chash=b6f79af221550796c2bf5fca3ba816541a89f026 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/frugal100.ys pkg.csize=1090 pkg.size=8175
file 712c6970bd3148985a6997d22c76967badbae990 chash=e9abbd532579e5c00afbaf941f9c4a3046e0a44c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/frugal1000.ys pkg.csize=10411 pkg.size=85575
file 767d9468e67acea83cc8f97f71d43c2f64f70a37 chash=d1bcaffed86669b21d480bd567fe3eea56571cd0 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/frugal10a.ys pkg.csize=312 pkg.size=1042
file 66d6a86a0d7c5cdbf8885e113a73be8733290441 chash=bc3d424d0651ed32aa3e7fdbeed891f4f02326e1 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/frugal10bool.ys pkg.csize=356 pkg.size=1117
file 8d2bb050753123dd31a1d7d50b8c13e9df8405e2 chash=431e3871561ffcba3c41a3469e7dbe8dc5b65a72 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/frugal200.ys pkg.csize=2141 pkg.size=16775
file e0c33d9da84a73c6a263465e00df870536b54f30 chash=b42c19cb13a98a37b1f4c67a98d34afe25f65196 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/frugal300.ys pkg.csize=3128 pkg.size=25375
file d122ab1c441a986a4b0ce3406f948fb27b1e2d2b chash=893fdccab1c351073cf203eb33c57a8acea08a44 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/frugal500.ys pkg.csize=5181 pkg.size=42576
file 50d7776814f0cb994688b2432309084fcf3700ff chash=5748891a0ecef05898af1b02d17ce6052ab0a9a0 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/frugal500bool.ys pkg.csize=5215 pkg.size=42606
file 842accf2b9b810bebc3afcae17d2dcfb47d82113 chash=2a1365af6fdb45b88fa7c790bad0b3d02dc1d294 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/gacek.smt2 pkg.csize=158 pkg.size=210
file dad70ea47a835574939f361c88cfb5ef43aa81c3 chash=79dd89234066f071a2a3d661d742eefde9bc22cf facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/is_int_test1.smt2 pkg.csize=111 pkg.size=98
file 38c9f6a98d38ba804212d916c46c601b8c8250b3 chash=ba509d5ea7008099f39fc7c71ba27977772b4d11 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/is_int_test2.smt2 pkg.csize=135 pkg.size=149
file 2da135f6acaa3c9c65a37e5631be1ab8731e5f61 chash=ff1e100753fa8b97dcf7ca2bb085ac347d812459 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/is_int_test3.smt2 pkg.csize=140 pkg.size=175
file 9e21f6c167afb9faefd31441934c31e130691cbe chash=ca167094dab15b1a5807533f6b5c2961085c1d40 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/is_int_test4.smt2 pkg.csize=144 pkg.size=181
file 35d286a02d69897d7837ba7ad7a3087b9bd1f5c1 chash=99a03ea3dcf252e496a0c65c2454ab2f7d8d627e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/jinpeng.ys pkg.csize=1260 pkg.size=10900
file 24fccb3d47ee262b573f48f4cf5e9a03f1c49c56 chash=da0db043272768fbab258c55fc23492762f77a28 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/junghee_lim.ys pkg.csize=282 pkg.size=1033
file 24fccb3d47ee262b573f48f4cf5e9a03f1c49c56 chash=da0db043272768fbab258c55fc23492762f77a28 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/junghee_lim2.ys pkg.csize=282 pkg.size=1033
file 3ab7b278717e1d33b99c72b2433b056b6ce151eb chash=97f4d99d288f3a3092fda4afa1d4052e0a807293 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/junghee_lim3.ys pkg.csize=256 pkg.size=848
file c8763837cffb702470cf485f807f9ed55a9a78e1 chash=6d1c01d37ceb402abce536407eaa630841fb4bbc facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/minimal.c pkg.csize=239 pkg.size=336
file 7f5d7e19e217124b71a7f25b35fb31916891a416 chash=658af1fb8f9337f824e7c894bfe25dd320752f23 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/mod_axiom.smt2 pkg.csize=117 pkg.size=145
file acb12cdeeabd9269aa2dd783c1f3010ab45afac1 chash=2813e6b78831cf2d9f529f00578d72f8814052e6 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/mod_axiom2.smt2 pkg.csize=94 pkg.size=79
file 95226e52aca1b9227025838048faa05f80c38399 chash=56d018e29d59d5e9201a50c854e620dd15a53141 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/mod_axiom3.smt2 pkg.csize=94 pkg.size=79
file 44052fdba77112743c89b34d844285afced8a3bd chash=2e579f81efffbd59666911d6834d3ee5fe0d8c4c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/mod_axiom4.smt2 pkg.csize=97 pkg.size=83
file 5b1b6ab0a7d7058a6ebe8e22fb2ce7e406857b6e chash=1c2fe97e64a135bef46caf92c47e988b92d70cf9 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/mod_axiom5.smt2 pkg.csize=97 pkg.size=83
file af2d894b3a7d205e8f24d84a980e0e6d911436c1 chash=aae2932292b7a3bd44a9c48156d358d5cf929a9a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/mod_axiom6.smt2 pkg.csize=121 pkg.size=157
file dc19556856dc782b3af4a290463e178993eb7a7b chash=8caca511ff16727e1b8a4fb6e8e3c7b32e6dd42e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/mod_test1.smt2 pkg.csize=126 pkg.size=144
file 2e7b3349aee0f24f700ff988a115868afdf2fcec chash=92839abd2c20a8aa41366324c2f4f17487d0a030 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/mod_test2.smt2 pkg.csize=129 pkg.size=148
file 484fa493a126c27b9051cf1859e9f62e07b1f745 chash=8e1859fc32ddec0273b6c3a42f0bf6efd9512009 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/mod_test3.smt2 pkg.csize=131 pkg.size=160
file 6add7d31b91fc4dfe9cc8dfb91f78dfc53a0ea65 chash=27a7391a6362d438689722d6ad9194ce69166603 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/mod_test4.smt2 pkg.csize=130 pkg.size=156
file 8c30b3d80630cf6cd123ab3c6696fc60eaaffd30 chash=d095d8a2a3fd665487c448a976762926d9851461 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/names.c pkg.csize=1121 pkg.size=3621
file 014080debbd6c5b5eb8fc90067b9e99d013ccf96 chash=80dbca0068db25efa87a769463009bb4fcf1d26e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/pr_test.ys pkg.csize=116 pkg.size=214
file 6b54757e937460be47fc5b4b989f09510aa04e71 chash=c5b885b42adfe76b83c422c62f5aff969e47689e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/pr_test2.ys pkg.csize=120 pkg.size=210
file 427c1a9da0c43eb4dfa506d3603ecd279543aed1 chash=f4e6644acb1b8a1387f927f58c65bf92731b1ec7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/pr_test3.ys pkg.csize=120 pkg.size=187
file ff32d23aca59140088dc09eb6b24532f5bd2a799 chash=2d9830be858e54bdc9dfedfceda42f5950e17a56 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/problem_with_input.ys pkg.csize=58569 pkg.size=715658
file b6e6cbede1699bbbda50cd56716ac243b47dfa68 chash=8a95f9568b7b4f7f79b0f53f21f01071141979e4 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/queen6.ys pkg.csize=808 pkg.size=3284
file cf67724da12cad2a5df31cda4845fa6c14c9ea74 chash=b5d4fbd6dba962619288e48bf36dfcbc418d252d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/recursive_include.ys pkg.csize=66 pkg.size=64
file de9ad445a72a35725da3c923bf7bd063536cb5f5 chash=aa3c717357f71a932d372bbbe9e1f9f5b9fee173 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/scenario1.ys pkg.csize=267 pkg.size=550
file 5dab0e40ddd30b767915e5e15cf844a075cc77ce chash=4c11d84774937cdafc475bb13a8743b1656dabe9 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/scenario2.ys pkg.csize=268 pkg.size=1295
file 65b06bdff9eaf45e455c6b306c1d3b3ccae196a3 chash=54a19c74708acd1b2bf874ca19078743bfd45c82 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/scenario3.ys pkg.csize=320 pkg.size=2091
file 068e6208444aa495914b5c9371308c4c5f3942e7 chash=555ba9eab2ce7a4e363aab33fce8692019811805 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/scenario4.ys pkg.csize=339 pkg.size=3033
file 4af42c727b275e7655fd8006bd9dbfb96fb63b9f chash=9350225046b30929dc1a09217e700a9ed9908a06 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/sudoku.ys pkg.csize=1271 pkg.size=5708
file 1655680df4f3eb524a57d79f2799ede6af259bef chash=e9bcedf8aa696ba0aa78e75761c17a0c3f52eae1 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/test-params.ys pkg.csize=34 pkg.size=14
file 381839994721f9f6e7baab88ddcc7c123d6d25a6 chash=e699904002f842170e715505e42518c85cd69389 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/test_bvlet.ys pkg.csize=180 pkg.size=301
file 17e0f5a8db15190a56e5d72dfa9ffaeed7176861 chash=b2df6e294968b9048a1f5424899b07d85f608dec facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/test_include1.ys pkg.csize=86 pkg.size=165
file b5041b54127d8e0144f103fa6ff533f03b9ac016 chash=2d3d04a14b71434bf87376e99318827a214b9652 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/test_include2.ys pkg.csize=77 pkg.size=97
file ebf1eed2ed1937fe009f6ed0c944ff01e5f665cb chash=73e17c9a0c99ebb915691041e8c81f70ad0d4238 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/test_include3.ys pkg.csize=77 pkg.size=97
file 0ffc034cd5ca96c8e986b07635b42595bb2512b9 chash=7541901f9717464406af7edb7c4e4a7b5ef5c696 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/test_include4.ys pkg.csize=64 pkg.size=71
file c967ad9d0db9e760eaf7fe0e9cc04e27e9890458 chash=5c2dbc5179078e59592456ce392202a509209028 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/test_include5.ys pkg.csize=64 pkg.size=71
file bd4a87e0791b5279e96fcbc27bd1fa5b5eeb53e7 chash=69c33c06f763e9f565adccfca8a5579fb4e5908d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/examples/test_pp.c pkg.csize=737 pkg.size=1572
file fee7b3d3600977dc3cdf19c33f6766f6a142fd29 chash=e72fc71c890c31586638016c685e5f3e4a30ef41 facet.doc.pdf=true group=bin mode=0444 owner=bin path=local/usr/share/doc/yices/manual.pdf pkg.csize=344185 pkg.size=437057
legacy arch=i386 category=develop,application desc="see: pkg info developer/hets/yices" name="SMT solver Yices2" pkg=LNFyices version=2.4.1
license b4fd3df2762aecfe9d532681ba00b1bbee9a2500 chash=69ce17e99487460e07443ee94a02a54a48eb674d license=LNFyices.copyright pkg.csize=91 pkg.size=120
depend fmri=pkg:/library/gmp@4.3 type=require
depend fmri=pkg:/system/library@0.5 type=require