set name=pkg.fmri value=pkg://lnf/library/java/kodkod2@2.1,5.11-1.3.2.4:20151214T062120Z
set name=pkg.summary value="Relational logic solver Kodkod 2"
set name=pkg.description value="Kodkod provides a Java API for constructing, manipulating, and solving relational constraints. The source code is extensively documented, and the repository includes many examples demonstrating the use of the Kodkod API. The implementation itself relies on third-party SAT solvers like SAT4J, MiniSat, Glucose, and (P)Lingeling."
set name=info.classification value=org.opensolaris.category.2008:Development/Java
set name=info.source-url value=https://github.com/emina/kodkod/releases
set name=variant.arch value=i386
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2
file e5eb34b329fcf04ecb5d28ceb92849259bafbccd chash=15aedc429e26a1acbdc239e94d1cca6767234b2c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/NOTES.md pkg.csize=1398 pkg.size=3737
file 9c3292cfe4ba964e1d980690e24eb39c6b8df002 chash=16099ce9a26649edf2bd8edbaa25bc618695f128 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/README.md pkg.csize=946 pkg.size=1865
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/api
file 7a32d09100191567bd7433797e2e072642d577b2 chash=55c2ee4ce514bbe040bab81dcff52048c412cda2 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/allclasses-frame.html pkg.csize=2315 pkg.size=19757
file 4b83f5813ff3fc7b000af75207f53c38cbbd8e56 chash=a2f418071554346c8dd437307304618690d11774 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/allclasses-noframe.html pkg.csize=2236 pkg.size=16837
file 9bf68306392abd6e387b6bc92664f39a93b6f0f7 chash=c222d50e09ab5a7c6124b03d37d770820dbc7717 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/constant-values.html pkg.csize=1098 pkg.size=3714
file 3ffd1ba941a4d6a5d49aed79bc8387d254d55da5 chash=8eab94de03cfefad0a4efda08ab49c7fa19417a1 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/deprecated-list.html pkg.csize=1090 pkg.size=3664
file 09cb0b06129d75f022a466fe4c37a1cb46504123 chash=3f45fa5fc84214d0ec9a4b479222526ef3a1b668 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/help-doc.html pkg.csize=2571 pkg.size=8382
file 993ba8ea6f4e2148573aa022243f39a9b886ca55 chash=d3589fc588c16e7575136d6119f7fb7e89fee0d8 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/index-all.html pkg.csize=50946 pkg.size=567297
file 7f85f2b0c238a29ddc60f6bb1596e11f8ce27501 chash=50d3cc00aa034595867749cf095acb32d5e49c1e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/index.html pkg.csize=1075 pkg.size=2839
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod
file 320ec38ac8ea48d9dbdbe3ce549644ccef57dad8 chash=2425b60f0b40832adb76cda0608069d06331fb12 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod.css pkg.csize=2331 pkg.size=10813
file 05470d3909440b7d766bb7e98ebc27f053b2e3c3 chash=9f774ece9276dd485887e9bb32113f34ae74ebb7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod.png pkg.csize=11046 pkg.size=11023
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast
file bcec6b146c5744979c8781e4890bd47c3e322d81 chash=df2d72379e6c1dc7bd9b9a8280ec88a36f424d2b facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/BinaryExpression.html pkg.csize=3411 pkg.size=20698
file 1f91e3d91be4c862712867d9dc3fa44ec9ce105c chash=56b4babfe44422cfa529b8a484d7e83158af55cd facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/BinaryFormula.html pkg.csize=3213 pkg.size=18507
file 879668320e56b316529a3ad4a5a76d40334e1b92 chash=2a471e7b536fc5746749db01f75919e07edb6b88 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/BinaryIntExpression.html pkg.csize=3584 pkg.size=22336
file 7eec2cfd0c4bd651294b376d68f7cc5b309ae00b chash=17a31e69b431691f3bbf2cb00242a4d945c536b6 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/ComparisonFormula.html pkg.csize=3242 pkg.size=18538
file 747d669c9d67ad03faa6a9719dd7b7c4f9afad58 chash=04db779cacae26c879d053ed209bd5cee83c434a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/Comprehension.html pkg.csize=3399 pkg.size=19847
file 6349dfcf0e2a225aae093c35b8078c682ac84d89 chash=00f8b493caec5362ac2a8fc0453b31a3ab9d9b00 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/ConstantExpression.html pkg.csize=2992 pkg.size=16715
file 127327b6cd449d00c41fdacf16ca8fb5213a15fa chash=c71abb4841f20842bda69d58833212fa8b06a3f2 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/ConstantFormula.html pkg.csize=3094 pkg.size=16885
file 00d781603f4b65ed86776b6289e9ee94bf67deba chash=48eb0a4892e6f06f8afd76b40afc28ef07311e73 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/Decl.html pkg.csize=3204 pkg.size=17494
file 082e7447d12e33f42a870eb573a651bbdcb3fbb1 chash=f2592bb6b85ec74f08449e8d24d7b63b752637ba facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/Decls.html pkg.csize=3368 pkg.size=19185
file 491d0e2aea75545d5b3181c64669afe7cb339201 chash=45c41243ee1118cc47b13af9cf7434ddd6b80d8d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/ExprToIntCast.html pkg.csize=3257 pkg.size=19059
file e048e883025eeb71dc4464bac63759da4ef9e7ea chash=726abbca932d28c0319e5e9dfd962d522cffda87 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/Expression.html pkg.csize=6442 pkg.size=56241
file 5de395b3659c450b0172417b72a54b611519057c chash=029a750c1bc7a468209b18fc958abdcd0ca4d97e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/Formula.html pkg.csize=5116 pkg.size=38361
file ddda370a40d8671cb4370db8ea780e27ce53033a chash=2963d42109317b95a9eb826830ead9a24448450e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/IfExpression.html pkg.csize=3432 pkg.size=20686
file 3194bb1be7f0bfaecfb07816b2be72a84f55679e chash=ec00cb94a0a8abebf4ba4233d9dfafaa0c488337 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/IfIntExpression.html pkg.csize=3304 pkg.size=19686
file d182333f101a0e6f6d3c9cbf4be9bd669ef4f40e chash=2d5c2589cb8be2fba970bc701e600fb42f70382e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/IntComparisonFormula.html pkg.csize=3245 pkg.size=18603
file db629d6635d7a0db25a7988803bfe868c2279360 chash=d36de6068721d182618a308995919c7bf5d9c9a4 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/IntConstant.html pkg.csize=3430 pkg.size=20843
file b25e6765d69cbd5f44de3124aa2700ce0efa272a chash=07be92b932f47a1a1588864f4334e33abc25a040 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/IntExpression.html pkg.csize=6107 pkg.size=60326
file 281f27ba206c76df535e7b311c5ececc26b23114 chash=4c69292660fb3aa1b73da6abefe440efbbc1cccc facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/IntToExprCast.html pkg.csize=3490 pkg.size=20319
file a8a1370ba55839ee4b74f693318d527b626d5abb chash=53e7fc52fa848d7ccb0bd810f69bdd1fce30adea facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/LeafExpression.html pkg.csize=3269 pkg.size=17515
file 4282aaf0da127060ae39678b8f751f6e964ac9d2 chash=680fb8892586ec72065d862110660c1c4c52ba27 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/MultiplicityFormula.html pkg.csize=3186 pkg.size=17890
file 72eb1d63580e9a8bdbe527feb22393d8c416224e chash=f60f72b2d3beeaf79260f82aadbb6089c72ab321 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/NaryExpression.html pkg.csize=3733 pkg.size=23908
file b277eaaf9e0ea21de7665d7c1b66fc6cd03ef1ee chash=0e4a4ee262ce6a620f29dffebd3d88aec2ec4728 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/NaryFormula.html pkg.csize=3529 pkg.size=21419
file 419a4070e3fc2d4b60aa83c0b56f54893237f285 chash=966954e40282955a48d4e4fa11ee0635878c83b3 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/NaryIntExpression.html pkg.csize=3582 pkg.size=22727
file a178c8b4bd8974a46cf3206b3a5484fcbf4b43d7 chash=ac2b8192720399ea7d383d889d11170f48383e82 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/Node.html pkg.csize=2985 pkg.size=14955
file 5f608b78b3744d7b9941a4d85105bec1b192dcaf chash=233d094bb8e43313a7b4b60e85af3a095af7ec81 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/NotFormula.html pkg.csize=3056 pkg.size=16893
file b421dc6fbaf52de6ec789cab7659c54e9d7fd680 chash=43cb1491d52cd2a3741994b889ec920cc65f5f6e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/ProjectExpression.html pkg.csize=3600 pkg.size=21625
file 7c6951eb46b2cea6faa16495e99d49863e6d2b75 chash=565f596ce1bc69f13ab35853b4f2f9cebbab4cb0 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/QuantifiedFormula.html pkg.csize=3227 pkg.size=18455
file 07c8218b8760d0b34ebc7c0052925af62f8a3329 chash=45b8b16dc2b56bb15e90e2d2e7af773ad1919d63 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/Relation.html pkg.csize=4429 pkg.size=31129
file 2cdb4e21908276b5b934722852dbf964778e0c86 chash=2731a6b1c32ee0362cd0c2f4c2478e9c28f67c6d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/RelationPredicate.Acyclic.html pkg.csize=3172 pkg.size=18016
file d2c27eb078598a1f463d916233a543e62ceac0eb chash=27393eeac02be4433170d57671200eb6448a9176 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/RelationPredicate.Function.html pkg.csize=3476 pkg.size=20663
file c826224c5f970f2275df87fba12211d5984307ef chash=81040bbb91df1e927a88530559405b04d238bac0 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/RelationPredicate.Name.html pkg.csize=3127 pkg.size=16821
file 9f19a79e1f6988520cdd624a45f850b87fbbad5c chash=4a4f1546858c50a0bb0cb9e5c3c680966c31171c facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/RelationPredicate.TotalOrdering.html pkg.csize=3500 pkg.size=20907
file 0cdec54be5ec58920739b47078b2c452f8a5203b chash=50786ea360405c2f9862e263e3f3711d6411e338 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/RelationPredicate.html pkg.csize=3451 pkg.size=20318
file 234508aa35544da77f219c828158c329bf4c2daf chash=70ac56ce28c89a30784e99ea72b0c0318323f1ba facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/SumExpression.html pkg.csize=3303 pkg.size=18950
file 2b385b426ae61c2dd8a42970f76f1910178d6139 chash=bde28ecd5dd4f73faad6029fba581534e18fdaa3 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/UnaryExpression.html pkg.csize=3345 pkg.size=20151
file 5e112179d82b17fc42f7ff477ff7ab899acf7f8b chash=c282abd80ee5b1cc2c49e4f324746136c8f877c8 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/UnaryIntExpression.html pkg.csize=3213 pkg.size=18867
file 1a71fa9857dc9591e030f3c0326a4f62ca7a1731 chash=19d0a2bdedc1a924e899c5b78ce295c45060bedc facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/Variable.html pkg.csize=4120 pkg.size=29154
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/operator
file 1c14ee7495b35da0efd23763ed664ff024969965 chash=696c766ba96f67158356acca7ba60e8aa00fc100 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/operator/ExprCastOperator.html pkg.csize=3036 pkg.size=15983
file a33a3c83586c3accfe9a9901d91d56eb6848d996 chash=b3844683f8d79909aceaea66d997d487f047d8d8 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/operator/ExprCompOperator.html pkg.csize=3043 pkg.size=16233
file c399237e4eb5c860099b85031be07d17b74a82fa chash=d72637a678942b8f15a6aeb168fd3269477d4b70 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/operator/ExprOperator.html pkg.csize=3731 pkg.size=22590
file 2d92473dd919ba3db60aa377862b9d2ebf260456 chash=e2bbb30563c7e2c34e29f55b4893324998a29a3f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/operator/FormulaOperator.html pkg.csize=3357 pkg.size=18369
file 5a8cf723ba5d69e72cca1271067ea02e3824840a chash=9ef117b297430f00eefa7d0d54db309f3c5f6cbc facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/operator/IntCastOperator.html pkg.csize=3061 pkg.size=16291
file 84740a6119f5b9c96c4057bfe1654b419877edd7 chash=b6f8f0a84b5272b2c6fc97a77dc11020e979b57e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/operator/IntCompOperator.html pkg.csize=3119 pkg.size=17655
file 83ae154134c0c2b6e2f63645a7a01d396af77285 chash=b0739a6c2708c945682d7d43c2edf2e243d1311b facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/operator/IntOperator.html pkg.csize=3910 pkg.size=25237
file 86f5055b8cc53e84c36acbd90d436711446ab3c0 chash=5c5fbadc5e75ab7a4e75f2a7126472e245bae126 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/operator/Multiplicity.html pkg.csize=3308 pkg.size=18367
file c0f2ef8fd601c7877453c66e1ce4024dc655f8d1 chash=84ae9f32d6f97635b351821e050d4544ba87f9db facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/operator/Quantifier.html pkg.csize=3015 pkg.size=15724
file c54684c1f8ccd430556a8810f078a2f89433a5bb chash=d178b9a5955e4df0d2c246714e30d97aaa931712 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/operator/package-frame.html pkg.csize=565 pkg.size=1716
file b63489549569d28146c01aae005aee3b5d664f2f chash=97c8e1d056d668e39b3e50deadb445b56021d3d9 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/operator/package-summary.html pkg.csize=1853 pkg.size=7975
file 4bfa74027291f787f8bb23438a0581793b32d2c2 chash=3144c1f0ec58f0912138c371343eded4aedbb648 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/operator/package-tree.html pkg.csize=1507 pkg.size=6826
file 0cc7dd11e586f8b1ed4e07c4f37c0b8abc562587 chash=3f2a085e97e3686731ae187ea40066605c3e573e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/package-frame.html pkg.csize=857 pkg.size=4687
file c36b1381cce7436ee8ffddc051417431564ee116 chash=cd5deb1dda623ddee6457b623b22f811801c3806 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/package-summary.html pkg.csize=3002 pkg.size=17713
file 342235da04595e40024cb38071aea7fd90be1d97 chash=857fe46c9a2071d79e4b1be5abdd91e03373c179 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/package-tree.html pkg.csize=1848 pkg.size=11966
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/visitor
file bea69ac2868b0dd7fd51c3d8b6778f9f2a5c22d5 chash=342bcb8fe44752ae1fcb87f114b02ba851cefe04 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/visitor/AbstractCollector.html pkg.csize=5734 pkg.size=91661
file 5cfacd809103d110d49b279cd32bd6c55b55fffd chash=9e7060fb6d287d70e1ab676570a27fea9e5c1af7 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/visitor/AbstractDetector.html pkg.csize=5349 pkg.size=72999
file 28123067909e42841f73983810c0a1c3b5ec7d6c chash=0b2b651feea5a1592c25bb30a2754565945d56ad facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/visitor/AbstractReplacer.html pkg.csize=5829 pkg.size=68439
file aaffe3d86526805b566191e1fdc34aeb7fc8810d chash=5d6f9f9ee9854ff54e968efdf50dc96fc0002fb2 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/visitor/AbstractVoidVisitor.html pkg.csize=4879 pkg.size=46566
file 9349aea0c8cba1bb4de6ceb10e6c0447de364191 chash=7035719cb8dd829ef57112411f789b03e2c15998 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/visitor/ReturnVisitor.html pkg.csize=4251 pkg.size=39668
file 56a15d94130ac6bf707d207735587738de0a26d5 chash=0f9adeb5c49915e704d611083fd6ec3284db71e1 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/visitor/VoidVisitor.html pkg.csize=3324 pkg.size=28513
file b81226236dd2f2b0ed8c1c6e8cbd8e363a29196b chash=293e28390fd4b2ab4671209b41b48536944dda36 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/visitor/package-frame.html pkg.csize=584 pkg.size=1548
file 2c9ef17885e5174dd8058f8e1b8a8d6955eb9372 chash=2d8f0aa72bd2692b95c23f6bd21302a80c721077 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/visitor/package-summary.html pkg.csize=2083 pkg.size=8555
file a69191f8d490d33783dabf06d4fc813c0098cedd chash=235425509de386fe52bca788aeff28d8daa6bca9 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/ast/visitor/package-tree.html pkg.csize=1486 pkg.size=6471
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine
file 6b1bdd7e18d6d494f13b5cdb955fa5bbe60e39a7 chash=5f46d03b4d286000ba92db39d21ddb3d7edda4b7 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/AbortedException.html pkg.csize=2025 pkg.size=10996
file 48afaba141575d821129df6a726fe72c85cbca51 chash=ba7815e391536e04ea453fd350b5ca4e3e90de2d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/CapacityExceededException.html pkg.csize=3012 pkg.size=19464
file 4f8ed85a62f9af86a8a152982b13bd3b3fe77802 chash=2b0778e23eb0d65024481ae0e8196c74c1e382f5 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/Evaluator.html pkg.csize=3684 pkg.size=21379
file e4632c6f127499e023f8e4f71db8c80ff46ed045 chash=7fdcb87a79a11c6fe239dc032479d51b760ba8e9 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/IncrementalSolver.html pkg.csize=5247 pkg.size=25967
file 2f539d2ed186265a53351bd2e2a71a3369da65a7 chash=512d7d420d46a694f040fe8b4938ec9bd9e9d5ab facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/KodkodSolver.html pkg.csize=3228 pkg.size=13893
file e8960aafacac78ffbb60e682df7c7de219a12646 chash=6f67337fc2055df43eea6eb8cab0d822e7a75c5b facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/Proof.html pkg.csize=3568 pkg.size=17126
file cc053dccb0086519b9a4a5502843b1bee904ed26 chash=1a3fd2a2e50f7a5ab51f70c595609f1886e43b5b facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/Solution.Outcome.html pkg.csize=3248 pkg.size=18058
file d635146c32197b868ca5c53ccb2e153e5b39a827 chash=1608d3095bbedfdd22cfb06513262de4c5f503f2 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/Solution.html pkg.csize=3391 pkg.size=18286
file 7db4080bfee4d92d234bc175bce9b818ff4f2263 chash=74600f20f6756a0051a8fd3975478ce1788fe623 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/Solver.html pkg.csize=4576 pkg.size=26195
file 3daf0721a1aa922096a2c1cbbf67a9b7174948b6 chash=c71450008899ea094537bf6adff2f600a10bcac8 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/Statistics.html pkg.csize=2693 pkg.size=13882
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/bool
file 0693e1948ee56bddbdc4a6f6ab238e83cbf88048 chash=fdaea34d2f148f963570e1b60dc86102299aa08d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/bool/BooleanAccumulator.html pkg.csize=3813 pkg.size=23297
file 5b32436212e90685392cb4371a028505cc85c47b chash=35b32ca368c1e51cdbdcd0010aa642a30ca8e353 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/bool/BooleanConstant.html pkg.csize=3091 pkg.size=17512
file 89c43374c5612807bdcac7cc060d8d4dbd79d7e3 chash=04078761e31e46dc1910a2e03eb8b9cf212b8ac7 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/bool/BooleanFactory.html pkg.csize=7170 pkg.size=56532
file 10b279a70655e3e99d417e1c01404c21852101a0 chash=e9da37192b37cd47551d361c27573dcc30daed6b facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/bool/BooleanFormula.html pkg.csize=3097 pkg.size=16923
file 80e47ce02ed97d832c6e370965b70a917abec263 chash=2ce61f7818707e1e0d7f641ef3649ce8bbe2c71a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/bool/BooleanMatrix.html pkg.csize=7486 pkg.size=62446
file abbdef1051540d7f9ae918616e32f330d59d10b0 chash=922a83f0cc59cfd65dcc0b600b16fca48ca17377 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/bool/BooleanValue.html pkg.csize=3066 pkg.size=14595
file 26f29c6f103b4dfc2981af2615ff438bb791b8e8 chash=40f1c987f963464486339c86c404bd6fdffaee2d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/bool/BooleanVariable.html pkg.csize=3289 pkg.size=21089
file 0c2cd609e5b2a7b322957ac072e338027cc49e7a chash=25c86616e7430881708287b8aa878e6443bfcfa4 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/bool/BooleanVisitor.html pkg.csize=2378 pkg.size=13194
file 8390baa17e93fbc7456dfc98662b35e835ec7986 chash=807e79ce97a50d2a247ce8ff0e54eff72e7756f3 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/bool/Dimensions.html pkg.csize=4379 pkg.size=28554
file 8420a2841631441e264dc426b5c004e88fcd5b57 chash=53e613b498bb74cdedb60942fd425fce9219ab9a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/bool/ITEGate.html pkg.csize=3413 pkg.size=21870
file 995154f58d496e953acb054efefdf125168cc24b chash=3ed4fdd998f672fbc2c4643bc0405dd16379a15f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/bool/Int.html pkg.csize=5199 pkg.size=51617
file faaa596dc2a8f2a47b6702f6c3a3423c7ed35e1b chash=93debf04f773b5f5901e5c1df8f0e3a077f1931b facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/bool/MultiGate.html pkg.csize=3191 pkg.size=17810
file 0e6dd1aeebf74513352c8ac93f7bab1ddb48b273 chash=648e6185406b30baa28a503cd41f687b03ceaa7e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/bool/NotGate.html pkg.csize=3331 pkg.size=20991
file 2d6e14869e5b504fb4bfcece7aae56dcfe1bb058 chash=91b5d3276c6585401960632edcd1b58c12d73a45 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/bool/Operator.Nary.html pkg.csize=2736 pkg.size=15033
file 9dd68d73bbacb5b330307db3853736b592db847f chash=f06d525e4c2d2a8d63e77d7dc904d0ab5954f934 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/bool/Operator.html pkg.csize=3208 pkg.size=19682
file 49a6ca419a6abefd81581248b4654e7fa553bfbe chash=2dafd06824b34c68fdb5b8348d967e36b7b1b07a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/bool/package-frame.html pkg.csize=680 pkg.size=2443
file b355af983c3e555880fc11a8c1ce62649db0e534 chash=e1905dbbb9a0a413d38316f5fa177a76090e0b34 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/bool/package-summary.html pkg.csize=2300 pkg.size=11770
file 3bfe6ec9b10f00735595af2e6981802883c15869 chash=39c613fed14f0faf40cf80a8c6b6f33b1d92ede3 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/bool/package-tree.html pkg.csize=1611 pkg.size=8451
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/config
file d62861984990352ffae7ee2f330936f6c6bd5d37 chash=e276bc4cfe1a026121674ba54a244eab2f635679 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/config/AbstractReporter.html pkg.csize=3557 pkg.size=23533
file be74d13f71d64048261699400bc99414d6be242d chash=c02ad82189191a82e409065b14701cbb246bc6dc facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/config/ConsoleReporter.html pkg.csize=3825 pkg.size=26113
file f93669c52687da5991e21d4c970a4f92d784bd26 chash=baf03b8a96efa2d4a753b6b1d7977b035f0db88f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/config/Options.IntEncoding.html pkg.csize=3208 pkg.size=16479
file fc822c56776a3494573a943e242bda1eebab6d66 chash=c2c52e5d3976bb56582301ed463a17839caa8fc2 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/config/Options.html pkg.csize=6208 pkg.size=36222
file 5e4c2804f6951f5cb3a2c41055d68c8bc7266d34 chash=37f0b35138cdf592732ea14c6026f4e06c0c8476 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/config/Reporter.html pkg.csize=3225 pkg.size=16034
file 3b86ed3ae3439e6a7b9f2b9eb5dda78fa80162d7 chash=10b5d8486dabbd38f00e3e5afa9adc89727677a3 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/config/package-frame.html pkg.csize=593 pkg.size=1438
file da76d4113c1c427fbae852cd5f5e2d910f30b65b chash=b8a191e9cb105b51db08e5fc7b6ab3f68d065b99 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/config/package-summary.html pkg.csize=2202 pkg.size=9104
file 2373438b1c96beeef475c369dddc77ef1ffb8c0d chash=f6784833738f0a01f8b4be1cbae248a06c249413 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/config/package-tree.html pkg.csize=1539 pkg.size=6890
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/fol2sat
file 53f9c56f862beea7fd6be66131d31a0079f45844 chash=f66dacbb30d275e405aa45f11121ce0de28246cc facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/fol2sat/HigherOrderDeclException.html pkg.csize=2616 pkg.size=13262
file 6719558da0a8bf29f39f73281d0952424ee2a5c7 chash=22139b0487243bedfd68cb9333e4e269c456751a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/fol2sat/RecordFilter.html pkg.csize=2441 pkg.size=11172
file deb6847bc7bcf640616849b341f0371a38d5b72d chash=ec1a0cbb474fe979290532779c323da5004fa0b8 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/fol2sat/SymmetryDetector.html pkg.csize=2804 pkg.size=12397
file 20be1d69dc16642a4f83763e94e6c877fcd9a1db chash=3f108e97287a61ccc86dcf3292e3e7f0c35217f5 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/fol2sat/Translation.Incremental.html pkg.csize=3635 pkg.size=18928
file b0cdadc3bf3638d26ff13778e4e02da4f3a1771c chash=5072ef7c6e93a30544e6c124a8922bbc5379cbdc facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/fol2sat/Translation.Whole.html pkg.csize=3706 pkg.size=19535
file af37b4d529566c98010a4c34b72dd8a3df240e30 chash=63604dcce0a58cae8b5bae2e84f45faf919addfc facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/fol2sat/Translation.html pkg.csize=4555 pkg.size=23779
file 10c2df21d09b93dc2d984939c949329022806419 chash=64754f43d991106e4c0877ed6db42377b8faabb5 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/fol2sat/TranslationLog.html pkg.csize=3714 pkg.size=17548
file 0f428309865b8cb8fd3204a7f6285ceb9ad6f0b6 chash=4493b0351063cd8a96666668f05345626cd386d5 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/fol2sat/TranslationRecord.html pkg.csize=3171 pkg.size=16151
file a938fd1621cb7fb9b8a23561b71d2e5e47ea8d57 chash=f2496ac03edf38b0c1f1727c39e15561b632c0fa facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/fol2sat/Translator.html pkg.csize=4939 pkg.size=35887
file 5823155037190c0442a68b57b8bbe2911161791f chash=5d12f19eb6686a1215c300682b76c490dee94d11 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/fol2sat/UnboundLeafException.html pkg.csize=2597 pkg.size=13196
file cd562543571b63afae1fafbd8096f493e03dca9f chash=7b3a4c113abecc792ba78c4304a3eddecd419b39 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/fol2sat/package-frame.html pkg.csize=664 pkg.size=2105
file 826dcd39346cda7497f1c9ddfde78a9c9f3abeb4 chash=969211922826c1bfffb6ebb23dad9db96c0efb3f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/fol2sat/package-summary.html pkg.csize=2405 pkg.size=11048
file 82f00d519ec77ec7d8a5d68174241fb5f8bb4f8e chash=cac881c214451528cb4a4772b2daf2293e35c756 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/fol2sat/package-tree.html pkg.csize=1585 pkg.size=7549
file 2a2133a53be2849945ab46cc2097d86203fe76db chash=870e6db7290ea7cfb6e181a596133bbe6202f42c facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/package-frame.html pkg.csize=665 pkg.size=1965
file 785a64834bc1278c1be265eb992470042515ebcd chash=d23cad132862224cb922c4c3e9479c0bedcd7eb2 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/package-summary.html pkg.csize=2524 pkg.size=11854
file 9bf95b3c1fd090406c784d885269fd92492a056d chash=f516285438d895933998c830fe3444cda7346574 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/package-tree.html pkg.csize=1638 pkg.size=8129
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/satlab
file 6626ee823c1ac07f7698009f5690013f6259f0ec chash=a8eb88821bcb3128079c36dfc24590f7f51ee993 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/satlab/Clause.html pkg.csize=3684 pkg.size=19818
file ddba2f13ba740ee4cabedca7d8aa5fcd7f941f2f chash=e2172c4afde938172c77fb9e50de7376b039a5e8 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/satlab/ReductionStrategy.html pkg.csize=2675 pkg.size=10870
file 07f0e1291c705426e9d74a250f590815d1f524b1 chash=8e734baff023bfa0c6b24692ef98688eae59621a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/satlab/ResolutionTrace.html pkg.csize=4341 pkg.size=29310
file 205aa700bbd176f69a3366f6e89c1eefd6f65665 chash=8820be48bcb3969f6af631dea9d3873a52175ba9 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/satlab/SATAbortedException.html pkg.csize=2080 pkg.size=11436
file c7af961a3a84cadd90a440986f677c911120269d chash=cfb7a1c7239bffb0c157cf211017047306e90930 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/satlab/SATFactory.html pkg.csize=4705 pkg.size=29700
file 248626582045c1f6dd2559317bb704d383fc4ce1 chash=75230ac5a8bbd386bbd6a2058d42973196220a6c facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/satlab/SATProver.html pkg.csize=2932 pkg.size=13035
file 8c0129ff4c9923a27193d773ad58ec70eb552e80 chash=c2ce4d07590054fb6cf2e58dede1d3f557566c60 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/satlab/SATSolver.html pkg.csize=3410 pkg.size=15759
file f87a623ceada91186946dd8cb3cc94ffec9b0d20 chash=356ca3cdd1fe0ec145ad1bd4ad64f66b7b938222 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/satlab/package-frame.html pkg.csize=625 pkg.size=1787
file e4d0483019ffc077428157fdd09afbdb7c676a3a chash=3abe9ec1c4972f5078cc857d943fde53c66aa91e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/satlab/package-summary.html pkg.csize=2022 pkg.size=9132
file c4be9a668a3de8024e7da0a20617e6710f9a1f55 chash=c1afddf82ae0a27877eeeb6f5f67cb73414b3bd2 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/satlab/package-tree.html pkg.csize=1559 pkg.size=7088
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/ucore
file 1449bed9f4b63f16073fcd7f4c5a1717ca720e26 chash=d3958e90b6a60ee41945c499bce3c121dc395995 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/ucore/AdaptiveRCEStrategy.html pkg.csize=3734 pkg.size=17666
file 41f2ca57258792f2eb72fa8b95434f8dca5572ed chash=38fbdcefbacb2a511d8ecf55f044b984a8851159 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/ucore/CRRStrategy.html pkg.csize=3312 pkg.size=14150
file f59c97baa1eee7560e81e1ee6be7e0e30c1191d3 chash=9b721116a45cf2b01494e23a5b094ef24cfb90f3 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/ucore/DynamicRCEStrategy.html pkg.csize=3855 pkg.size=18132
file de6c2de480e4ad3db9e2b88c7856136bd43fb729 chash=cb5438e8ceba4902a3a7e77d3b8026f45e8c9254 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/ucore/ECFPStrategy.html pkg.csize=2942 pkg.size=13344
file 69928a5a722ac537851d38cb4bf2f87b4efde564 chash=3945da143d222d76557baec4b5fccc81d550de87 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/ucore/HybridStrategy.html pkg.csize=3111 pkg.size=14390
file 59ca65cdb97839fc989ba25ebd809870715a16ca chash=2ae8b455875f916973494ad4f6cdb1624d31d075 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/ucore/NCEStrategy.html pkg.csize=3125 pkg.size=14497
file 9fc97de779ce75af2d6324ae35865c2db11fa165 chash=890275b8f1ebbd29f3f97f63c38ef9fb3df182df facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/ucore/RCEStrategy.html pkg.csize=3285 pkg.size=15866
file fa14e93a8fd1674ac10eb6c96496e83995e4020d chash=a8437661aa893a73ce1dc39e75e31ae27739c325 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/ucore/SCEStrategy.html pkg.csize=3128 pkg.size=14496
file b2459c804801cbd5e5f0c2ca0a3c4a948377105e chash=c283ad286ed640648ed21fb3366643817c58a600 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/ucore/StrategyUtils.html pkg.csize=2749 pkg.size=13082
file 3e15969471a9696d5e509e4b8c0e3118ead1024c chash=6308106d97eec6b2b711550c4e1352c4e1cf99c3 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/ucore/package-frame.html pkg.csize=569 pkg.size=1727
file 9f303941dd0c5c55c581ab35980296d3a8370ed6 chash=34677b63209a389cb35bf3f1d708bfd9d6ca9f60 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/ucore/package-summary.html pkg.csize=1985 pkg.size=8696
file 94259f0e3d7c03a92497cbcc1045aeaadc22b9b7 chash=311dcb4926c997c402d12921156637602ab0e648 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/engine/ucore/package-tree.html pkg.csize=1477 pkg.size=7607
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/instance
file c391b61950878c7642f441e372f2b29e28b1ed33 chash=3a1a8716f7a6a3b0dcb412747f9d6fb17f0fd13f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/instance/Bounds.html pkg.csize=4699 pkg.size=34299
file 926f48f74d5af1aa3e908aa07fa6df3040c58f17 chash=d2c637f6ae17392cef69db0cf6d2b06111ae156f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/instance/Instance.html pkg.csize=4106 pkg.size=28181
file 32a6621c41631a91060018c1c4520df85ec6e79b chash=ed7a96e02273324d3487f21d267951917709f1b0 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/instance/Tuple.html pkg.csize=3698 pkg.size=21732
file 8bf34b8c7fc473dbf71f97f4d5e7455e09a511f2 chash=e142ed85985b3af1d58b520e37e287f88afde7ba facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/instance/TupleFactory.html pkg.csize=4363 pkg.size=33191
file 3fd44d9a60b8299bdba12c13ec3b367380746a44 chash=c1044098db466c725e3eeaedd45fbaf310d1023e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/instance/TupleSet.html pkg.csize=5841 pkg.size=54860
file 4eb9fe247717819829f8543cc4b90c58caa19326 chash=bbefecfa814b3b3d8ee806c14ac04efb5adba749 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/instance/Universe.html pkg.csize=4024 pkg.size=24112
file 5f03f52111a37fb6e2a08ede6a0ef274e7b5188a chash=26323ba5d6798131d6d6c322262be33031428382 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/instance/package-frame.html pkg.csize=529 pkg.size=1275
file 44e1a3665d5b9e3c15a57e2d8ffca3603730d739 chash=fe5166df5092c2d5b89c6447b085c4c7b3cf4491 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/instance/package-summary.html pkg.csize=2060 pkg.size=8994
file 5b3443b6f2febb30e99c7e200e6a62414868d263 chash=c49adc8329779b13dfde294dc4c01833d18746da facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/instance/package-tree.html pkg.csize=1518 pkg.size=6959
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/collections
file f9ffeee9b3faf3390d911ecfbc13f7aa8941abe0 chash=8f425728cacc92e0751daef4578349c1fd25f019 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/collections/ArrayStack.html pkg.csize=3846 pkg.size=25467
file a45304adbdafdcf8b8fe5f715c2da6040e5222a2 chash=dddaddd46fd2ef143ca24e90310a346f8e00c68a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/collections/CacheSet.html pkg.csize=5317 pkg.size=40599
file 705ad81ff346025cdfc201c920504bf94ad1a8ec chash=9ab9800d148d238dfa244b494862fadb955bf716 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/collections/Containers.html pkg.csize=4603 pkg.size=33325
file 3ee537e8b5af12b2ee845076c772a0f12592119c chash=7e9df25828bf2d7322c5df3eda6bf844edf2801c facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/collections/FixedMap.html pkg.csize=7305 pkg.size=53787
file c17f05e9311450223d29b421815d37015ddec0f0 chash=f49328a6c80377454dfd6797902da69ce15d04fe facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/collections/IdentityHashSet.html pkg.csize=6319 pkg.size=48649
file 14d855cec46786f6e0a05b265cc53515381edb3e chash=adbaab8f3ef816c316c6015af4486cbe5ab282a8 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/collections/Indexer.html pkg.csize=2447 pkg.size=10173
file 2e30cfdbca56faa2194acea0fe14a52ebad0376e chash=5d6c8ec27c359e5170e01fab27313abc5b0f3cd5 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/collections/LinkedStack.html pkg.csize=3594 pkg.size=22975
file 5cfc85a41d644768138429f0dbe6595a3665b400 chash=29732ded6912d7c60ff88d8800cbbb1326ce1404 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/collections/SingletonIdentitySet.html pkg.csize=4612 pkg.size=37280
file 9fd79cf239ddfdc227dce4363f93c5921dcd7b4b chash=9a447be73ffa93a8b12dfbb8be34f47a03b9c3a5 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/collections/Stack.html pkg.csize=3737 pkg.size=21908
file dd0daeb67491be9fa24caf586e7b0fa87a64ec7c chash=55b0f5c1caf8a4d0debc6762f8865884f80a3aac facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/collections/package-frame.html pkg.csize=622 pkg.size=1831
file 0bbfc2327d0eb83dbd89370b6d7fb7d9d9c8d8d5 chash=aa78910b63ee0c1bda8c777da59019d315093144 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/collections/package-summary.html pkg.csize=2041 pkg.size=8633
file 363e49630bbfd0adde905c8596cf2ccf9c61adb1 chash=78119ec3f37f271197d9308ece0bca7e79b31358 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/collections/package-tree.html pkg.csize=1626 pkg.size=8047
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints
file d73cf38925fe58215f257d80e941c967acd832fa chash=ec1feeb499e86af48cd1eb13944ad6d35584e991 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/AbstractIntCollection.html pkg.csize=3860 pkg.size=26912
file 225b42c216b0ee69c1a5f82c177a2d0764bc59fc chash=164f77d96c3e71a76790f76bb4cffac518105f28 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/AbstractIntSet.html pkg.csize=3754 pkg.size=24041
file 1057cc58eb29deb0df71b399fab99bc4f931b0ba chash=eb963189fb010f69c7417d2bcdc68bc42cc457ea facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/AbstractIntVector.html pkg.csize=4276 pkg.size=35432
file a3a733e3ca2b58e47a63aa826f7a7ed67576ca0a chash=b5350fb306f1385c11d1091c964090256964dcbb facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/AbstractSparseSequence.html pkg.csize=6423 pkg.size=46609
file 0edf7af07507afd134779f9dd9653d828cfc4738 chash=a57af61497c73cd65f039a5f0fd7194b7d1aca43 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/ArrayIntSet.html pkg.csize=4764 pkg.size=32515
file 6593a8c151abbefd49070260fbe4421d0124a92f chash=922d8b218d4ecf9d085deb41e989b600030dbb5b facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/ArrayIntVector.html pkg.csize=4604 pkg.size=31563
file d157171f60c1f18a8ae292202f857589db37027a chash=ef73697f18d2cbc839a2ace73ee65ea00a71ecef facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/ArraySequence.html pkg.csize=5522 pkg.size=42017
file 2445c44877ef6ec8f899e116aef3c1cb2f61f0cd chash=67607a34e16a320a5432a9db5bf2ae29f4894a98 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/HomogenousSequence.html pkg.csize=6313 pkg.size=47353
file 7f18befde4abcafdaf0d064b56c4279fda709176 chash=325707f98c1de4b5195179ec5d1db4642495f998 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/IndexedEntry.html pkg.csize=2666 pkg.size=11601
file aa6c8935774be5e8ce17b8fb836ccd076413d9cf chash=8f31f003479d0ba87145a2059b8bc5bd6e2f0165 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/IntBitSet.html pkg.csize=5789 pkg.size=46599
file 43ad4c1e711df47ee58339a9ec3a81f8fc9aefa9 chash=f31b65f284b9c0e216e9cc20934c2ba274b7c8b9 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/IntCollection.html pkg.csize=3555 pkg.size=23574
file bab0363fd46ff7e6e71eb6ca59c1d69abf66c1e3 chash=ed70e8f2414af459032800616f0d768bb9aac0ab facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/IntIterator.html pkg.csize=2347 pkg.size=9918
file 24c0c3c31e484760576964e35a879698f4e6e016 chash=65aced816ca4d7b77bfbfe9cf7dcb60a64a2bed7 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/IntRange.html pkg.csize=3032 pkg.size=17403
file 1d06ceb9abb36d016e25f41263944696580f87e9 chash=3e2d4fb95b9e20ba3ff115778038cd07c33e175c facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/IntSet.html pkg.csize=4846 pkg.size=35734
file a4d818ef2d353f507c2a7805c8a5031d8fab5d6e chash=cd43f3d5194119df9e43358b4e12030ab69682ec facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/IntTreeSet.html pkg.csize=4335 pkg.size=34511
file d09fb5b4f78a26c23a39875149ed583b96657535 chash=bde7dd25838d0d5db4785fde54e2c54f0f86d2da facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/IntVector.html pkg.csize=5673 pkg.size=42115
file c98ad06407be6810aaf14b1e8ff705503b933861 chash=11afefcc2c2e930394eb18ea729fde6d92ff17db facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/Ints.html pkg.csize=4854 pkg.size=33698
file 893e89427fa29e8bd2eab7bfb0a39cb5170d9f05 chash=16829b859fe230ddc8139d1830aebb93574ac218 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/RangeSequence.html pkg.csize=5603 pkg.size=39766
file 5206a34ca11c5c3340f665ebcec6bc10c83e3b29 chash=5cb92106ed23758b145ca0f6f6fa9b014b691d3e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/SparseSequence.html pkg.csize=5203 pkg.size=35117
file 61ee3d65fa229a5406d6f928c14a398e0feb5e3c chash=7ea58e56cda8c9beb818083433c34feb14f5a6f1 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/TreeSequence.html pkg.csize=4993 pkg.size=37647
file e106e5e3018df9f5622db9346e500ff27605c8a7 chash=df3723fc97cd7ea72b41ec36dfaa42ac51ec3fae facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/package-frame.html pkg.csize=725 pkg.size=3180
file 855b9402934b93770204f858a0138c0b53e55a48 chash=2656ffc8a2753a48b49e28ba8fcee2aea72ffb7f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/package-summary.html pkg.csize=2264 pkg.size=12047
file 11bb0a7df99c5739e34eb5bdf642e36fe00d9ceb chash=01b1b43540863c2245da1f1e87dd6ae589e5e5de facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/ints/package-tree.html pkg.csize=1732 pkg.size=10667
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/nodes
file 521b8a89946a1b4c1fe939ce99d630d9e17d32a6 chash=818396ae31a27ccec1204c0ebf6ee78401cdec7e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/nodes/AnnotatedNode.html pkg.csize=4035 pkg.size=25680
file 4d84eb720af1e011e9c1533e16f4c069a49eb08e chash=e52a65ae0f5fb244b58f1a24fa22c7f0c1193158 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/nodes/Nodes.html pkg.csize=3082 pkg.size=17521
file b9c087003b34ade66229e18cc2d52b27e085c487 chash=494cbfcf99ca5f087787f5e7aec06d318c357426 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/nodes/PrettyPrinter.html pkg.csize=2805 pkg.size=17980
file bac974c01fa1562061df44e9d126ebc94b65480e chash=6cc33eebb9e862d938fe177a916e76ff645fa480 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/nodes/package-frame.html pkg.csize=510 pkg.size=1015
file 85d4f88972603c7603fdab13724459b72c5d47f8 chash=c4b63c9cb9ef9cf48a104c97318e5662ed6b4391 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/nodes/package-summary.html pkg.csize=1730 pkg.size=6451
file 760f22b8e0c52ca1d2570dcc15c68e15a4d40195 chash=db2d95081ca15911c72f210354b0fbc020eedc24 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/kodkod/util/nodes/package-tree.html pkg.csize=1365 pkg.size=5016
file a80e0c75f8840c5df96b237740a6e0fc458c1974 chash=494eb4b1f04ea7305aa75bb413b35444884382ce facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/overview-frame.html pkg.csize=622 pkg.size=2007
file d3959c780455133c72ff46a6de38d9143c6bdefc chash=687faa489f2c8e05e96c91649d860318f21f7597 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/overview-summary.html pkg.csize=1989 pkg.size=7649
file 80a2d53d6858efe0b5b3c3450bacf96757574134 chash=f776935333c083a9707ae27ddaa73591f9eb6e15 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/overview-tree.html pkg.csize=4375 pkg.size=40766
file 6986f588e617d595292445e667b9af77fbdb4a88 chash=7cb4e070e4e045cad3e7abb9938bd1115145c670 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/package-list pkg.csize=113 pkg.size=242
file 58e5151d49209a2e12b988e84e9a74b781c68a2e chash=9b1a0c58a9c9ac7710f54defc6bc674c4f834e0d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/script.js pkg.csize=372 pkg.size=827
file 640fc372a1dbff6676c39341ae5bef1fd2e0b8ac chash=6383729721eb6e0e5ac52e6d6155536208cc4fdd facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/api/serialized-form.html pkg.csize=1641 pkg.size=7419
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/examples
file 75f71686c738842bbe74f8fde240466ffdd3768a chash=777488f495894276825d8cfb979d788949a25452 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples.jar pkg.csize=207695 pkg.size=217679
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/alloy
file a8b16d2e9cdb2bc5c7876ab63a88bf6bab0171a7 chash=b70e9b917dc3fe03e7d8f8e1f2b238f9c1fbe881 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/alloy/AbstractWorldDefinitions.java pkg.csize=3036 pkg.size=15411
file cf10b0342f9e382498fe932a966ec60f5465dbd1 chash=c9907ff5e98700615b671d78d9e4aef40fb1bc06 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/alloy/Bigconfig.java pkg.csize=2452 pkg.size=8182
file 0e15ab43f738cb6099cb4251ec345bb0ec636672 chash=d99ce53a6624a5079da7ce83c1ddeeb7bff943b3 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/alloy/CeilingsAndFloors.java pkg.csize=1959 pkg.size=6498
file e9851203ebdc1115a533e729f86722ac21b4c5b4 chash=3b049a856f459be2aef2e97b0dcff4081066bfa9 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/alloy/DNACuts.java pkg.csize=2092 pkg.size=6843
file 90b0852f67a27e21bc9f5f51ea9fdf23197d5b47 chash=fcf93ef28733c0df704956295f54c4d51b2ab748 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/alloy/DiffEg.java pkg.csize=1614 pkg.size=5790
file 516ce0a1d8867b8ed5933bf4d18a7a36b9bc6ea9 chash=4e20a4970de60793a6120ee5d31371bdc4d39fbf facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/alloy/Dijkstra.java pkg.csize=3000 pkg.size=11683
file cb9fa359afc094b21c8a5e88ae846d110ff869e9 chash=0f7d23b4caae1a8fb56a95cecdd82a8cc9ec6035 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/alloy/FileSystem.java pkg.csize=2083 pkg.size=6444
file ae41f031b0f35c0eeeea7d6d90c50d9f6dbd87dd chash=65abc6f38f8a54534b585740d875af39644684fd facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/alloy/GroupScheduling.java pkg.csize=1961 pkg.size=4927
file 3f5b04e4fcb7f8bb6c11f5ecb99e45b4176ed6e5 chash=d8a92c9295d710e31de164325c063bc4932fd641 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/alloy/Handshake.java pkg.csize=1698 pkg.size=5450
file db45d9a54f378601b51bf479cacfdb436da6ff83 chash=71c25f8fa46763db8c68611c345dc2496ca080ad facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/alloy/Hotel.java pkg.csize=5078 pkg.size=20551
file 41f8de934a9712da811ecc198bee57e386fc74bb chash=9e275addb47f5411568bbd2a14d725647afd242f facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/alloy/Lists.java pkg.csize=2170 pkg.size=7936
file dab48d9d37359b09e2808663dddb5123d307245f chash=07f9d8965a8b7f65aca7dbe3c7ac9139636e7efb facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/alloy/Netconfig.java pkg.csize=3117 pkg.size=11042
file 9be253a9f5b0e732e8cd5d7bf8d1e53dc17fa674 chash=9b9b0f19e519e02033033bc6544a472f236ec271 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/alloy/Pigeonhole.java pkg.csize=1186 pkg.size=3157
file 6af44bba8cba7ea237a9656631dd2da2d94f913b chash=77be6e7b9f09de502838771ddd58735e9089b85e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/alloy/RingElection.java pkg.csize=2658 pkg.size=10512
file 2e9256cf45fd9b6998fb0747929a57f171f9344a chash=ac0be020670d2f1f6c1f86d8b01e306fa9d90b4d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/alloy/RingElection.java.orig pkg.csize=2674 pkg.size=10566
file 28a878a4eb388da6c45959a1fd679f4c6845bba2 chash=b3aab34976620570daf960917110c54064b5f230 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/alloy/Toughnut.java pkg.csize=1464 pkg.size=3938
file 4a1437c3fa181ea22a501f952df54e6532ae4ba8 chash=b0256d76d0e0e909e020b497ee7902601de29b33 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/alloy/ToyFilesystem.java pkg.csize=1502 pkg.size=3496
file 717948045788e90aa102dbe651de54ce12d0fd13 chash=1070cc047e9f3bace62779b244c75dd52820c575 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/alloy/ToyLists.java pkg.csize=2811 pkg.size=9255
file 2e8df996cc494632e10b41c9351a39aba90ea3ef chash=6c73f8599269b1f75af1c6116f28a96d2c67dc82 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/alloy/Trees.java pkg.csize=2154 pkg.size=7356
file 2de69e176e14f481524908a79e87ccb1f06a791f chash=88da32f164bcf3c66b65bb34b3bb4bf59e71b931 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/alloy/Viktor.java pkg.csize=1892 pkg.size=6300
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/bmc
file 0792fbc2bf0761b9e6bad5c097cc3120d2f26a51 chash=d50ca2819d95235b2788646e0adad1296ec21654 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/bmc/List.java pkg.csize=1806 pkg.size=4781
file 4c7f5a7b61b8a7dd47217279b6a328b87b324c8c chash=e2948787e1b50828f3bd520ff87907f84c98a795 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/bmc/ListCheck.java pkg.csize=1205 pkg.size=2473
file 9afc65cf91ef91716335eaee4c91d091b1367c39 chash=8b71d41701bbb8057417422ee449dd74c5bb48a5 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/bmc/ListDebug.java pkg.csize=2070 pkg.size=5566
file 926fc52ae1cf17412d7315cbd8cb2345567dedcc chash=1f52f8cb517f63e0e860570fee8036da52f8ea4c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/bmc/ListEncoding.java pkg.csize=2947 pkg.size=8780
file 5c1850ffbf4f0dadc894662bae6d70863830168c chash=bb1abd1a0713fba327988a4c52c6da24bf227a66 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/bmc/ListRepair.java pkg.csize=1448 pkg.size=3333
file 1efaef8a8776b552cebe691958bce02bc159e409 chash=49cc7d78b325c14415791ad8b776d2b84da4267b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/bmc/ListSynth.java pkg.csize=1982 pkg.size=5006
file 330a6ea0acdc57c560fe1047d48f85c2a5c886f9 chash=64f17e50b1132ce7ce65f025bf766587eb401c02 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/bmc/ListViz.java pkg.csize=2923 pkg.size=9989
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/csp
file a7a03d3cbe949ea90b0a209c8d13f7542c606d0b chash=36db9aaa18b81b84e804da447a27b49cb28b9818 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/csp/BlockedNQueens.java pkg.csize=3014 pkg.size=8672
file f2c6021d01d2f25433155a698d683beacf0c3c0b chash=a79f2f8866cb381f3d01e8d9c9af2a118c96b919 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/csp/BlockedNQueens2.java pkg.csize=2653 pkg.size=7343
file 4f54ede27436bfc8daf3772fd3c35c2eb001f4f1 chash=2fafdf2271c287d1e8601789b431ee83cb185f5b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/csp/Graph.java pkg.csize=2289 pkg.size=7709
file 2b1a9aa464ee5152a1c8600963f7800b87b390ed chash=3c97cbea5cb12d37dd52e08354962b93280c1e24 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/csp/GraphColoring.java pkg.csize=2206 pkg.size=5376
file 4f5187851d04c1dee06bb1723d133d239174734f chash=743ee4a4de1d5be51d7e182fbd06ab94957ba73d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/csp/GraphColoring2.java pkg.csize=1399 pkg.size=3869
file ead1bf4c7674fb24ba9a4b1e0b67f9ac3359d12a chash=4fcb8c823ea016f24798de4f93c8107b8d6447b2 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/csp/HamiltonianCycle.java pkg.csize=1893 pkg.size=4464
file 15aaf7c6e056d46ebd7edd93fa2f8ec8c15b7fbe chash=52cc24f2cdd26893df4db450fed86b12f1c0020a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/csp/HamiltonianCycle2.java pkg.csize=2649 pkg.size=7986
file bda049c2a41414e754833c47e5a881a3b8ee598c chash=05211f4af428188dceaf180d13cb008564baf655 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/csp/LatinSquare.java pkg.csize=1282 pkg.size=3824
file 9f45185b0012acfa9c00831ecdf51f886e967e75 chash=af70fa5173e80868d52c10b614ce976c12164ef2 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/csp/MagicSeries.java pkg.csize=2022 pkg.size=5096
file 29b5d480658bd4bcd350ec6ce5821c8e1d5b6106 chash=10ab9f37acb15aa025f0212c990d4264043f2806 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/csp/NQueens.java pkg.csize=3309 pkg.size=13906
file 5c8f780dabc3a07082476e49f95fd4e92e2bd49e chash=0bd2d53a5fcf81b1a2eb226362904a8274e9d9e6 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/csp/SocialGolfer.java pkg.csize=2287 pkg.size=6013
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/sudoku
file db151e96664c356dc9858e921e7b1e07bae187f9 chash=df4c0d8fc1317795c91025cff5e86de551689039 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/sudoku/Sudoku.java pkg.csize=3359 pkg.size=10381
file 9bae657bcedb977b4edb3f899186ca0bcc5a92b9 chash=3b688e2cf14c35a3a77dd6eec1d32ce6347a13f5 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/sudoku/SudokuDatabase.java pkg.csize=3245 pkg.size=11300
file b1fc4b4f7d82513f53277330c9c42967f4696323 chash=cdd5419fd2865893ef01deba43a04d9cfcee7715 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/sudoku/SudokuParser.java pkg.csize=2798 pkg.size=9673
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp
file f6d9a01ac14c758d4b486ddb2c0302a3109be7bc chash=2173a451a247f2ba582f3203d1cdd952e8474661 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/ALG195.java pkg.csize=1584 pkg.size=5483
file ae49c4868693e7b6b47baf6c544e48b872fec9b7 chash=d72c0bd37aff9ee7575bdd1a128fd7e1b858b64c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/ALG195_1.java pkg.csize=2586 pkg.size=10354
file f89cee6e1204526ff6575a7e59bbbc0d59904ed7 chash=9a1740a6090ee2a465e3d8bd01826eed5f37fec7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/ALG197.java pkg.csize=1553 pkg.size=4919
file 2a9b2c0b5fca32d71212e3fa9164e3046b557d9e chash=cf6b1068e7d43d1f6c253e9cca5479799ab7474b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/ALG212.java pkg.csize=1397 pkg.size=5304
file 3c20fc94a9f0dc1cbeeeff7ceb1e32bb99389113 chash=76afab0a3d44f56915065a194a12823a8f87b002 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/COM008.java pkg.csize=1690 pkg.size=6251
file e57354dd7505b9097dcaa6cf4d8c12846108b89b chash=e2915455e380e02fb15e2296c238e2f5c579ca9d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/GEO091.java pkg.csize=957 pkg.size=2171
file 9b87eb2ece6b728f6574663d46569116309fd1c6 chash=679376cd53401dab4ac0dfe9143e26200aa02f7a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/GEO092.java pkg.csize=1114 pkg.size=2584
file f9fd649ff48a0fe5763f431680801606692c4f73 chash=b8cf18b004c574435e7ad6aa6de1d8b05282b48d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/GEO115.java pkg.csize=962 pkg.size=2197
file 0065dbc7ca8b6dd7097b447efeac4e1920546b47 chash=05e1644a728a291fff4ef0c16a2773cdd45745fe facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/GEO158.java pkg.csize=2925 pkg.size=13283
file c09113bd39e7e23f505806bde32fbd2380acac54 chash=aced172bc4d990b43eae03624dc8d9075836583c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/GEO159.java pkg.csize=1109 pkg.size=2859
file 4d847e8a7f053a8cd03816ca6e82dc2ade8c80a6 chash=98e130dca2cbd8b85509ecbd0345a35c599df260 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/GRA013_026.java pkg.csize=1777 pkg.size=5586
file 4b156c11a6225056b70656d22a26bf6c5427b109 chash=551315b2f7573261a877b385eaf2fd7c4d944a86 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/LAT258.java pkg.csize=2509 pkg.size=10242
file 7502089adf6d557bdfea2ca68a890f30cc4d9b94 chash=30db8c9a16a9446ec5ad3d24cd0a31dd81e2377b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/MED001.java pkg.csize=1982 pkg.size=11501
file d8e001be452bc798f8bf6561bebbdc6366bda6b6 chash=57c24e3b32ec22c014585a777dd2c321af5e68ad facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/MED007.java pkg.csize=871 pkg.size=2017
file 8f74116e202591737cb4f27a419e760674d2a1e9 chash=6150e876a29cdedc71e28a3e0f67269a47e438a1 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/MED009.java pkg.csize=882 pkg.size=2023
file 9857620bd9f536e49bff5c127218e84a763a4005 chash=336ea09be923cc9f2135e2f5f827905c7ecf3154 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/MGT066.java pkg.csize=1202 pkg.size=3791
file 1a9cb266031cae218def4baa83a7ad697a62ca7f chash=fcda53e23acd954dafa9eb3e548382ad8fd8247b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/NUM374.java pkg.csize=2154 pkg.size=9466
file 7895df4fa098b7c61255d10e0c852571504ed17a chash=95608e51e6b6fb51f75a1b719d449b428bbd8bd3 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/NUM378.java pkg.csize=1559 pkg.size=4776
file 35246841ab74469ae6cca1b2e6d471df5865277c chash=17d7f13b29602700a77561e1e4b53f4c6084bf12 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/Quasigroups7.java pkg.csize=1734 pkg.size=6713
file c61902e9ef0201f7e76e1007e6492e20293d1d3b chash=d7438f0f6a441637e3600e884e544fb2448565e3 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/SET943.java pkg.csize=1881 pkg.size=8573
file 02715d5d4a3c501312e171acc5e0f6007329c477 chash=7aec6950f08f2a6c6392cca58781dd93c7f74b47 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/SET948.java pkg.csize=2057 pkg.size=10152
file 00564607643fa878c84a912cef18ce2eb2a16c1a chash=a6f8fbbaadd8c05eaad0ca2339b6cc69e6b8fb26 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/SET967.java pkg.csize=2292 pkg.size=12007
file 9d617b402b84f2285c1fc1daf1ff7a58cb185ef0 chash=af4800077d6a84f2ae904ed1282754b39d342d1b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/tptp/TOP020.java pkg.csize=2142 pkg.size=9965
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/xpose
file f92cb46750869d0cd98efc348745c90e43501d42 chash=bd4b9986198d05b53816ea6e7e52431459b28060 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/xpose/Transpose4x4.java pkg.csize=1912 pkg.size=5039
file 24c4848ca2df400b5d5211c127d5dc0a3a888928 chash=3fe94ce9bb1266a82890d567c49a501f88bfee75 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/xpose/Transpose4x4UnaryL.java pkg.csize=3854 pkg.size=12440
file 197404a87604675ad1e925315030844451feadb7 chash=3f9d23da87edeeb36611c18b2b76417140933aa9 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod2/examples/kodkod/examples/xpose/Transpose4x4UnaryLR.java pkg.csize=3972 pkg.size=13077
dir group=bin mode=0755 owner=bin path=local/usr/share/java/kodkod2
dir group=bin mode=0755 owner=bin path=local/usr/share/java/kodkod2/lib
file 2ddee6b52860bcd0d30f6e2d7ccad9f6d16c4931 chash=9fa82670f2cb9c79d7081c959e0f13065a566bbb group=bin mode=0444 owner=bin path=local/usr/share/java/kodkod2/lib/kodkod.jar pkg.csize=414166 pkg.size=467081
file 5eb2fd2ed27886a9d7d03125a68dc5e81668ac58 chash=a95bba82f5b22c0a833deab0c86a3e4e07473a50 elfarch=i386 elfbits=64 elfhash=25dab8005f7051ff891f667f74826cb4f75174e5 group=bin mode=0755 owner=bin path=local/usr/share/java/kodkod2/lib/libglucose.so pkg.csize=49167 pkg.size=120176
file 8c1b85cb026e4b88fa700649659208acb37efdb2 chash=8555fe9e8c41ba098722b2c9c8f1d2265d25b742 elfarch=i386 elfbits=64 elfhash=5907fc755d58bfd85ce39778227f190b9e777f43 group=bin mode=0755 owner=bin path=local/usr/share/java/kodkod2/lib/liblingeling.so pkg.csize=976050 pkg.size=3305288
file 7aee3d1ec9f181f7f46a6bdff13f9aed467851fa chash=3cab0513e6a1f7c61c332ee6642cc29e7da79be1 elfarch=i386 elfbits=64 elfhash=cfa724a50daa23cd4cef3118e9da7d0ffc05d994 group=bin mode=0755 owner=bin path=local/usr/share/java/kodkod2/lib/libminisat.so pkg.csize=40579 pkg.size=94696
file 4a2542127b0f48cc4064f96787b732daa48d74c2 chash=4365d8c2435dcb629a0d5adb1e65b4fec2906790 elfarch=i386 elfbits=64 elfhash=4c00417620b17067711aed2628b90671a6093c04 group=bin mode=0755 owner=bin path=local/usr/share/java/kodkod2/lib/libminisatprover.so pkg.csize=30774 pkg.size=72096
file b18a9397db7433ed4dcb3b2b8d205790426ec9a5 chash=1b50565b1d48826485e468aae1f6fec249414ae5 elfarch=i386 elfbits=32 elfhash=1cd49bcb11093717fea3ba284cd1bf6c906d769f group=bin mode=0755 owner=bin path=local/usr/share/java/kodkod2/lib/plingeling pkg.csize=320671 pkg.size=692864
file fcf30bb52609491597b5f9ad89d9ec4aea6707bf chash=4efc75423e45432bef876cbbc59abed9f86df13b group=bin mode=0444 owner=bin path=local/usr/share/java/kodkod2/lib/sat4j-core-v20130525.jar pkg.csize=315329 pkg.size=344952
dir facet.devel=true group=bin mode=0755 owner=bin path=local/usr/share/java/kodkod2/src
file 725f36cb9a6f11b968a6648e8ab3f8303e48386c chash=5ca8c5616995c9d339f18ade7651cd2059fad7d5 facet.devel=true group=bin mode=0444 owner=bin path=local/usr/share/java/kodkod2/src/kodkod2-src.jar pkg.csize=422421 pkg.size=442341
legacy arch=i386 category=develop,application desc="see: pkg info library/java/kodkod2" name="Relational logic solver Kodkod 2" pkg=LNFkodkod2 version=2.1
license 1122470b166bdb953822cec9e272a767ddad5c41 chash=62c576cbe0e9400267b327d7273fde379dcfeb3e license=LNFkodkod2.copyright pkg.csize=64 pkg.size=44
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
depend fmri=pkg:/runtime/java/jre-7 fmri=pkg:/runtime/java/jre-8 fmri=pkg:/runtime/jre type=require-any