set name=pkg.fmri value=pkg://lnf/library/java/kodkod@1.5.2,5.11-1.3.2.4:20151214T055907Z
set name=pkg.summary value="Relational logic solver Kodkod"
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, CryptoMiniSat2, zChaff, and (P)Lingeling."
set name=info.classification value=org.opensolaris.category.2008:Development/Java
set name=info.source-url value=http://alloy.mit.edu/kodkod/old.html
set name=variant.arch value=i386
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod
file 53d1148c4acaf1a706c73aa5c48b43ae97921ee1 chash=9c450269b42525a459529add20eaf9180e4b2072 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/NEWS pkg.csize=881 pkg.size=1819
file 0504b93769d2d9080e5ea726a0d1062856c226ea chash=66ad3d23726c61f14879c78f2b95ad2d259544bd facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/README pkg.csize=148 pkg.size=157
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api
file 20e28923622c4871cf1e27bb12b6085fe61b01d4 chash=2f9b5a16052af362163e32ec2354f28dbde935e0 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/allclasses-frame.html pkg.csize=2283 pkg.size=19500
file bdb4a6e03cd5a4590f827f0363ef52b3f469a57a chash=3d8271db900227181c14e0d4973be338a5e2ac29 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/allclasses-noframe.html pkg.csize=2210 pkg.size=16620
file 1846b19e4f1921f786e8f9d01368f75d17e1378f chash=2fa5b191c012ec476f5aed9eedc4dfd27c38290d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/constant-values.html pkg.csize=1098 pkg.size=3741
file 02dc73456120101478aa9d32cc8bc424bc0020a9 chash=b680925961bad35d8a199f40da1b864e10e26fdf facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/deprecated-list.html pkg.csize=1091 pkg.size=3691
file d93e01cb2ff98fa9ea4b344e289b6c51e74e8c27 chash=65b9695425fb33f2cf6f6979bfab07d524b1dd4d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/help-doc.html pkg.csize=2733 pkg.size=8949
file 8cd325d1bb7d2d27719b9ce7f7a98ca2554ff254 chash=631baa96b241e6f42abf4aa4c0be94b086a60419 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/index-all.html pkg.csize=50007 pkg.size=558747
file 4d4e223fa72dfdf1a6469aec42bfba8cc34995cc chash=db9af58c6aebc309f6ccd7d95a4fd5efb009eba4 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/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/kodkod/api/kodkod
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast
file 56fb90da26ed644f682ce601dbda6652468be361 chash=1c9ae8446d555d1dc7d922f98426385f7c7f169e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/BinaryExpression.html pkg.csize=3365 pkg.size=20590
file 972f74f19b14bb1d6e66bd83cf278985d102ddf6 chash=71c283c65e0407f2f886c1a7e8e1b08f6ada537f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/BinaryFormula.html pkg.csize=3169 pkg.size=18409
file e8df0ea09b746a940f7773dc1845d7b9b757fd02 chash=0c0b6cca5c0c2b1bc69f6ebe63c9c843b9563848 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/BinaryIntExpression.html pkg.csize=3502 pkg.size=22108
file 3d1e70ba17dc886c880649a51c69812ac3336fe7 chash=c0ab95a5739d404527d8f08c4a85f66c4756c5e0 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/ComparisonFormula.html pkg.csize=3196 pkg.size=18441
file e7a27160882fc819c1489cabfaac39053293bf34 chash=1699f8a26aa3389b1af763387f13ec78f7170f6b facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/Comprehension.html pkg.csize=3330 pkg.size=19718
file c100e97eb8fb17a34346ec29a8256878470030de chash=4d0f4cd81eab24f3d7c12646c494f409c64d1f0d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/ConstantExpression.html pkg.csize=2990 pkg.size=16761
file c7302c13e635f1627770ff498af90c0dc192c20a chash=d093168ce4e9f0c441d393ffe26e90c50cbd2d89 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/ConstantFormula.html pkg.csize=3090 pkg.size=16925
file 6ca868bd2bf2fd07c59fef89e5bf364aaa8d839d chash=ddca0c643fa3fc1ac714e675f6cbee713865dea3 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/Decl.html pkg.csize=3132 pkg.size=17303
file 161cb4e7ee844f9a07fb0150bfcf565c84d9e13c chash=7992ecba17c9b2823c1fadda296c82a1c1061c8a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/Decls.html pkg.csize=3303 pkg.size=19002
file d1207664e0c2839f6b69ba85a7da3197c41504fd chash=b2d4dadbfc08678c33d0e46ab9a4164d014b16b7 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/ExprToIntCast.html pkg.csize=3221 pkg.size=18972
file cc795a59f4d13ed0c3447bf4c1b07e08c7160fec chash=a6c5a19ee786da21bf7faac52eb633435982cf27 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/Expression.html pkg.csize=6361 pkg.size=55778
file a0d8096d249d466022dad681e757bf64f26e386e chash=836b88a567cde6077de789356160ebc5da25dd7e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/Formula.html pkg.csize=5057 pkg.size=38124
file e6f771553969eb96df3c5ac376d8128503e7139c chash=b18d8206508fdf6fdcd5a2c09958c601e685be82 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/IfExpression.html pkg.csize=3380 pkg.size=20552
file 7f1cda0dae8250d785f21c511eae8592ffbb9aa5 chash=2c6c9e38a2eddd71d00d1122b5488ceec42e48ae facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/IfIntExpression.html pkg.csize=3240 pkg.size=19552
file 85e247f30bc15082865714d64cfad9caf2bcc3d7 chash=c86e098edcee546322a0aee80bc056622114b7a6 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/IntComparisonFormula.html pkg.csize=3196 pkg.size=18507
file d0b6d8ffbde4623c626f09a65b57387dbef194ad chash=1c9ef7de839fa82dceff1ebbf425cdce4adede53 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/IntConstant.html pkg.csize=3410 pkg.size=20799
file cffb38f957c0f80d9522d89d1e63f66e60600b78 chash=5e533b08330839d57fe927899fe6dc17ab15ba05 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/IntExpression.html pkg.csize=6080 pkg.size=60022
file 405875de36291305a14536ef9c6729b86622c3a9 chash=b2b944334943841a8e0afd6d965307da3b4c2c60 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/IntToExprCast.html pkg.csize=3455 pkg.size=20225
file cda87974df444c5303f304aa71a7d005e997fb69 chash=2598e7b695d7d0ef147bf457dab92eab793eb865 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/LeafExpression.html pkg.csize=3262 pkg.size=17527
file 71989a9988a5834574cda2db1d0f2ef261344d5e chash=7fba8a7952cf01f361bc2fb79e72447ac2a1ae49 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/MultiplicityFormula.html pkg.csize=3138 pkg.size=17797
file 8a559f0590729bd23d4669d036927d1de1027c5a chash=ad7601b7ba28f8ea10c750aa465b087b16ed269a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/NaryExpression.html pkg.csize=3688 pkg.size=23763
file dba3b01ffea0c526e6899578343af18c8f35c063 chash=97f3335bd2965b8fc8a3f093bbcc68915aae5a9e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/NaryFormula.html pkg.csize=3482 pkg.size=21265
file 2ed88596d98198d3246555c5284c59f0179e4f2c chash=c14ca51b9235e0cf63b496ea0f7b971d60beb7a1 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/NaryIntExpression.html pkg.csize=3536 pkg.size=22589
file 002e8902490b7e00624a9cb31027c9496c83117a chash=b63e1522c9d71bf0cdef262e5d1549997a5762fe facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/Node.html pkg.csize=2920 pkg.size=14797
file 00f807a1d4687ffa41978eb5d66244ee810f0b34 chash=0b32f1f5ddb2d087cc68bc9b9715e7a3ec13588e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/NotFormula.html pkg.csize=3029 pkg.size=16831
file 36c1fc0a736e896b26c8271e2f2a7d86cf905d91 chash=08fbbd2260f25ad474b7f9b8ff6e85f455471a95 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/ProjectExpression.html pkg.csize=3508 pkg.size=21392
file 3a980d104ab9f359ec1fe3e91b5d418993c9d2c4 chash=fc330b0b33e661b7c7882ce4315fa54c290f24dd facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/QuantifiedFormula.html pkg.csize=3173 pkg.size=18351
file 63e452d71926da5086b79ab4634011e440786573 chash=5354d61fc2031da6005b9ee5dd9fd5cc12c6efbc facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/Relation.html pkg.csize=4406 pkg.size=31065
file 04c4b90716667f651bc4675fbe57a38be76f9d9d chash=f2a62c5f07c86cd0b24f030e4a2d690596aff18e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/RelationPredicate.Acyclic.html pkg.csize=3141 pkg.size=17965
file cbc555674c10df3ef92e1860489a979af6af7d0d chash=ebeafc9a68dcaa08af2acbacc83bc0c961296025 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/RelationPredicate.Function.html pkg.csize=3386 pkg.size=20507
file 8acb33f7e18799df5d505a0f83eaff9c537ba9b5 chash=52b6c3ca5af3b6179dd4ec48693f54bc6105ced5 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/RelationPredicate.Name.html pkg.csize=3140 pkg.size=16952
file 8581c2c31c6979617d52d81e623effde9c46665b chash=2617dfe63188d3b25743575b9f10d25f18c8f269 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/RelationPredicate.TotalOrdering.html pkg.csize=3413 pkg.size=20738
file edabe399ede608e07cdb6ab4d338beae710c7617 chash=b45497b85581dc023ccf0e1a25e2a4da99bbce2e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/RelationPredicate.html pkg.csize=3413 pkg.size=20234
file 426973cc8ccd7e546c8041adf112722206b65192 chash=3216d3c1bf9137deccbc3e10601b8612de0c339c facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/SumExpression.html pkg.csize=3232 pkg.size=18814
file ac236e677ce7c2d017e6c87256c0fe756d539d14 chash=b7de10440e0885c3b0af7a083ed890ccc63a97cc facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/UnaryExpression.html pkg.csize=3306 pkg.size=20060
file eeec9b2d6bc7f38ce7ea599dc8b77e5bd558a641 chash=4e433cddf04e6f66457de828048780b6f727910f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/UnaryIntExpression.html pkg.csize=3170 pkg.size=18786
file 58d1ae492f793e67877dfbbd2c21208a1b9ce441 chash=0884b09fc355186271e5c0f7d0a337f871cd6e11 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/Variable.html pkg.csize=4069 pkg.size=28875
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use
file 71741e3d53a5210964625c27996d02587793d104 chash=b3b16661081c7d3599ded15aba8abfe6dccf86cb facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/BinaryExpression.html pkg.csize=1897 pkg.size=9490
file a9284a147572011c7e55f3a4f180ba4d046f13f0 chash=da1a4062eaba163e179e35d45f8c24d3ca898303 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/BinaryFormula.html pkg.csize=1898 pkg.size=9400
file 0d732a2606b41ced87357591094cab73334ac987 chash=2759bcd69ef304cfe155d43eb2d4040db456ec3a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/BinaryIntExpression.html pkg.csize=1901 pkg.size=9625
file 40bd9fa86ec2ffe3653bb40b9918898948a72bc9 chash=31ac4dc74ce1ce35be27f45374fc4d07cd425e86 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/ComparisonFormula.html pkg.csize=1914 pkg.size=9548
file 107b37e98bce6a5a456474afc9348fd556a1685a chash=62d13e7349b8202adfabc2de54227b02d13ba1a9 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/Comprehension.html pkg.csize=1909 pkg.size=9421
file 1b2b048392e02d3eca2c9679bf5681932c8d9c2a chash=ef65a64df2b88a61ae2c067697dece795cee2ff0 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/ConstantExpression.html pkg.csize=1901 pkg.size=9427
file d4ffcf7eff4107f782ed827a2a3c4407d8daf8bc chash=cf1a980b628c0bdf27b777f8f55bf2ae71e85a5f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/ConstantFormula.html pkg.csize=1894 pkg.size=9311
file f1d3bc3e866b24f8e40b8a9d0765012a4532dffa chash=c2b0fb23e96c7642bbac00814fcc2386b6a78c23 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/Decl.html pkg.csize=2848 pkg.size=24272
file fd195bb1c788bada6b385bb4f479a7a2157429aa chash=6b79af524f4d173a2bc1aec7d20cead487036ce5 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/Decls.html pkg.csize=2524 pkg.size=17830
file 8d66387866142d85777b91e1d3bfe8933fc50b48 chash=910637f2a6edb8fe5f0a452c33b3a1951e4955b5 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/ExprToIntCast.html pkg.csize=1893 pkg.size=9393
file ead4b94aa72fbf56c5e10a827c765a8bd0da9975 chash=3b5e7d4abb396e9f28a1f590fa5f5501b170ab37 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/Expression.html pkg.csize=5598 pkg.size=66999
file 0092e4f11582168e0f238ee77c4b6de30ae1e79a chash=e1c98798407440b8511e8efeb8a9e617b4c8e746 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/Formula.html pkg.csize=6673 pkg.size=80207
file dc47b7c559f6b6ab5ac8e6807ebf017daa38b552 chash=95a124bd0a061e5bc335889fc18a983afac9b085 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/IfExpression.html pkg.csize=1912 pkg.size=9371
file 4fb630d234d25a6a4ae5f757fd8e4f948543ca09 chash=baca1956e48f78e802572b65b3e7ee0a9050f788 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/IfIntExpression.html pkg.csize=1905 pkg.size=9491
file e6ca0fb2d1f52577c871e719b10fb28288539322 chash=04754fbb91be9aa9271a56556e81053217003e54 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/IntComparisonFormula.html pkg.csize=1904 pkg.size=9657
file bc05b4172dcc0a719ca21ed1abb07eeb7b224b25 chash=cc66266f3474a09f193a7f089607a7a15dd2901c facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/IntConstant.html pkg.csize=2014 pkg.size=10644
file 6b6424f6e941e8ed94b8514a874cd85656f7b579 chash=86f151abc7ed94856802245b9074085fa2e32fb3 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/IntExpression.html pkg.csize=5197 pkg.size=66393
file 9557726b2505804ae659e369a09bc0b43ce584e1 chash=e691a8551ad91e36183eee267af40caea9d1f839 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/IntToExprCast.html pkg.csize=1903 pkg.size=9396
file 874c80c1640e5c6fbf17538dd0166fccbcd7cbef chash=6f027b5fb46af619f9a3b84532912cf29c474466 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/LeafExpression.html pkg.csize=1907 pkg.size=8694
file af9739985b0c6eb70e2510a38ea6d933ee4ee046 chash=7f6dbde4c033c15ef755f31e4e54cc68cf1253e1 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/MultiplicityFormula.html pkg.csize=1894 pkg.size=9610
file f831cd0eca085bac077fead61bc2f3246be47bb3 chash=838e25732543f73a56b17bfbd46c9c4ac683fa16 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/NaryExpression.html pkg.csize=1882 pkg.size=9365
file 826c9ae3cd5391ad342e465253ba5f131c3d3907 chash=f3a9835eb1b69d661a08cee960f07fe727b0c088 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/NaryFormula.html pkg.csize=1885 pkg.size=9281
file d0ef6cc50ae4fe83df7046338f25bdee073f9bf3 chash=d791937c0faf3400372d8eff1f9434dc95f907df facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/NaryIntExpression.html pkg.csize=1894 pkg.size=9507
file f8ab52de19425f82e94832584921948f2c1e0d8d chash=b346ae334ee8e7bf2857472963657337100999fb facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/Node.html pkg.csize=4567 pkg.size=37214
file fe3f3188bea4b7bc84d8d79a1ae21ea0ef8a8006 chash=d299bfbd2c0c18fddd9654f24327c4883b7d7284 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/NotFormula.html pkg.csize=1890 pkg.size=9210
file 49723d895ee40fb1b5e6dac642ec4ff45ca95cbe chash=b09971bf2ba49531705cf55ab11b5b0cd621f8d9 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/ProjectExpression.html pkg.csize=1905 pkg.size=9533
file 451e951cd2447cf1a44531125aca066946c9421f chash=2d883b3005be96ed75d8b2f25540bbef9541f64f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/QuantifiedFormula.html pkg.csize=1903 pkg.size=9569
file f27753a5abdd3b3bcf2862ed42507952cafbf880 chash=0d992a3065d3e16eb4f9ce85391b632c354bf5fc facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/Relation.html pkg.csize=3829 pkg.size=34033
file a0c08876d47d8423276ce14676bd552382a19259 chash=96601b227c96f72b92536c272130ce296c96537a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/RelationPredicate.Acyclic.html pkg.csize=1180 pkg.size=4431
file f9a240896dba3e8ff1d8ba792812ce1b5accf39a chash=c07dfdb13bd86292526cb88b61831aace9df27da facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/RelationPredicate.Function.html pkg.csize=1179 pkg.size=4442
file b8868d0e5ac40c1d4b3169a0e8149608e2f4c786 chash=9278c946cc6a9c7f91647a919d7948034df8a8c3 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/RelationPredicate.Name.html pkg.csize=2090 pkg.size=10977
file 37b4b382fe134866b2e79c04931f5109c3890246 chash=cc786c02ba36737fb9aa93c7f40bb8faad4172b9 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/RelationPredicate.TotalOrdering.html pkg.csize=1182 pkg.size=4497
file 67ecb5132d42ad788aee8af591633a35cf90d8dc chash=eb62e76945d52f43c015028ef229e71e80d5e012 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/RelationPredicate.html pkg.csize=2324 pkg.size=13573
file 3054d4783f86f27ccdc14edd5ef011cc199d38d7 chash=13b757c84c4791d32d105bdb9ca32a97f933949a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/SumExpression.html pkg.csize=1894 pkg.size=9395
file b942685980082cd2ab81c407bac617faf4587838 chash=754c3db870e31bbf114723e3919334adca00f346 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/UnaryExpression.html pkg.csize=1893 pkg.size=9448
file 32f065dd02be12290efc8755d51b69e62b30cfc3 chash=c3ad06ff92b9ee8f18c8a2f899dd19a378e41aeb facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/UnaryIntExpression.html pkg.csize=1890 pkg.size=9562
file 02e56a2e813db24cdf01ced57a3f845ca7d6dd35 chash=c47240c17e3ca916207685edc15b4834dfea549a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/class-use/Variable.html pkg.csize=2563 pkg.size=15188
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator
file 779943d56885d342cddc60d2a4ce5c4b818c3d4a chash=0f494d287e1ea1007c9914faffb3d8d2b3bb449b facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/ExprCastOperator.html pkg.csize=3046 pkg.size=16102
file affb154e9b32077f05e1ebe0d765edae77006140 chash=2f5982eced7d3d105735310421134aa8751acc02 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/ExprCompOperator.html pkg.csize=3053 pkg.size=16352
file 61885a46c8abb1bf03f7d4b9b3778d8395f5bf57 chash=a96f572b9ad91235f5643a111c7d70171fe66fcd facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/ExprOperator.html pkg.csize=3629 pkg.size=22417
file 381bd5cce72482e576c29391448310b35606fed9 chash=94950a3184db23d2835ae73fb6057c3ff8cf981a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/FormulaOperator.html pkg.csize=3257 pkg.size=18214
file 0f5e2ab570cd1c19a73d56cd5488b7a658063355 chash=7cfac627b9959023b74a53011ee47382be147b4a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/IntCastOperator.html pkg.csize=3074 pkg.size=16408
file 68553709ba339a68d2c9f1782d141461a5a7320e chash=fbcb4ccea5562be27cd49a5b34b9d837cfd0d10d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/IntCompOperator.html pkg.csize=3130 pkg.size=17772
file 9843b32a2ecf6c4348eb1c05e89da6146b5ead7c chash=855dac95e1d7e37a055bcd073703892c37416dd4 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/IntOperator.html pkg.csize=3809 pkg.size=25050
file 28a6fba9082d13abb82cd1d90ce90e65c347358e chash=f26f327f2d824fb08d466bbb7ae90a981668486f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/Multiplicity.html pkg.csize=3324 pkg.size=18478
file 58681c7f12213ef4479ea80684e8d2de57c59038 chash=e31220869fab96e2552f436de49d6c111837dab4 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/Quantifier.html pkg.csize=3030 pkg.size=15831
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/class-use
file de10fc22f1b732f869844b041439c706e42bfa4f chash=24fb2ef8fef5f8205b8cb28db7bdf302b8bab20b facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/class-use/ExprCastOperator.html pkg.csize=1994 pkg.size=10115
file f89a79a2ae7925b2f10dadc351b5ecc797ef8907 chash=5fd2320e9c7b12ad00f9c2c8fd8c5cc6c08cc41d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/class-use/ExprCompOperator.html pkg.csize=1977 pkg.size=10177
file ae887a1e71a86240ee862c3d72a54bcf841c6c9d chash=6f48d48a5620c5aeee2c77f8cbe988aac3fefdfd facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/class-use/ExprOperator.html pkg.csize=2129 pkg.size=13092
file 515de305867da69531e8a2ebae8bed0c1efbf365 chash=12361e55da044247d1354f984bbbc70f27fa4ade facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/class-use/FormulaOperator.html pkg.csize=2070 pkg.size=12147
file bf6f2eb72950d15f7abc70dc873e0de8d81347c4 chash=42ffaef8feaf19b58cd79b4f096e2618722721c8 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/class-use/IntCastOperator.html pkg.csize=1955 pkg.size=9993
file 4f27fd76c0473bfddbc34e6a7ff906a2ee071e7d chash=a174b316688b0250213bb93bb54b8b677912bb41 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/class-use/IntCompOperator.html pkg.csize=1966 pkg.size=10141
file 5234c86c05b66d16e7a0fbca87c0c919445bb20b chash=9184fc72107a694fac28b42b646811f55d45b77c facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/class-use/IntOperator.html pkg.csize=2256 pkg.size=14485
file d7336674572c85aaedce678fa4215d7d1b6d4c2e chash=bfe28355f79731ab5ac860360fed5ca8120f3c0c facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/class-use/Multiplicity.html pkg.csize=2161 pkg.size=11664
file 9ac19041d6837bce9666fde6ca429eafd266919d chash=9195827b953ae68f5314e617e596f6a16e797997 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/class-use/Quantifier.html pkg.csize=1954 pkg.size=9950
file 9d552b18480b5a084d51cbbef47ea2912d0ede50 chash=f98d0c9e2521e2f73dd6ef14e64e8e67511a32de facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/package-frame.html pkg.csize=567 pkg.size=1720
file 00e8658ee20528e0369eb0a6227c6e549ac20cce chash=da8ffe3512640f07304ba0968870a7be68d75f27 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/package-summary.html pkg.csize=1866 pkg.size=8064
file 163f328462897af39ff6b09b5cfc7c20779808a8 chash=dbdb3b11909fa35a5f3cf016fb8ac825147f8c07 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/package-tree.html pkg.csize=1515 pkg.size=6853
file 175f28f60b85402427941accb9f429041326bfcd chash=96e6f2cfba927edfa1b5f1957dd7327534b08f0a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/operator/package-use.html pkg.csize=1938 pkg.size=11003
file 200cb216df9139d91780f6de7428d9596065e80c chash=ed551e293d07eb52e0fb3363b7864c09eddafe03 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/package-frame.html pkg.csize=856 pkg.size=4691
file 68430729dbc158b2888cb1624269de4403b7dcb6 chash=92d810c4ecbd6a9cee1656ec83f087c27f22971f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/package-summary.html pkg.csize=3016 pkg.size=17802
file febe7f36ca28ac10dff1c73af9439d2dda0c3f32 chash=192bfbca48e6cb2327edaf3312e40b570b193c4c facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/package-tree.html pkg.csize=1855 pkg.size=11993
file d39f1c288c413f509232d05ab713861b2caedefa chash=e74bbd88ebbe7d5b08002579ea1ff354ced99c2d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/package-use.html pkg.csize=3276 pkg.size=25808
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/visitor
file 4a56f8f786101eda7ac471a4100b4f2f1a23ac47 chash=dfca2d2eb31e196b354e1192ebbf1308cffc134e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/visitor/AbstractCollector.html pkg.csize=5688 pkg.size=91601
file 57acf545d096673c309362be2a8b0b47e1655fe9 chash=cbb08ca502e0bdb60cb6028f3ae657b0446aff89 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/visitor/AbstractDetector.html pkg.csize=5309 pkg.size=72936
file f33c47acba87ac3081ba7e9c4eba876ca82bc81f chash=e54cf50a7fa01acb17f85a5758f434a9c3d420df facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/visitor/AbstractReplacer.html pkg.csize=5783 pkg.size=68316
file 081af6efbeb6ffdf7329bb0344bf153329bcb637 chash=b89395d80fe0577c8a23f1b17313afc99f4990d3 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/visitor/AbstractVoidVisitor.html pkg.csize=4503 pkg.size=43655
file 8cbc27e04e90735c6db0f2a4fe7c702f34c14abe chash=857ef42b3aae44a206a3b0f79e42e79917c9dc01 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/visitor/ReturnVisitor.html pkg.csize=4276 pkg.size=39781
file 11c8a441806703e745c289ea789eeb80f55d1aca chash=801ab369cecaf5fe1c0cdd12684cb95034f83a8b facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/visitor/VoidVisitor.html pkg.csize=3336 pkg.size=28622
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/visitor/class-use
file 93668154fea2f977698e01f4237df933f2031b15 chash=6a4c0c83af624b01cdb76b004251450e10e8bd58 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/visitor/class-use/AbstractCollector.html pkg.csize=1183 pkg.size=4479
file 00a9461ccee69f632886e880ec4fab412fe301f2 chash=729c0247f8292b47bde642f904fbd1c60d40b5aa facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/visitor/class-use/AbstractDetector.html pkg.csize=1724 pkg.size=7278
file 1e4d46906df46e24f2065feac3bf24ec8424f04e chash=67d7030f95cae2de615c4a10d0b587d1e2e20457 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/visitor/class-use/AbstractReplacer.html pkg.csize=1182 pkg.size=4468
file 26a9c023ef87c0d33522e1ad03889c2354cb2de8 chash=26d7ef0f3ce6fd5aed755763efa4b6836de90388 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/visitor/class-use/AbstractVoidVisitor.html pkg.csize=1183 pkg.size=4501
file e1240d7267d2c5893f59569ad95ddeb51a300aa4 chash=1205a6a9f9344fd1e3b26dede923bf2735fe4920 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/visitor/class-use/ReturnVisitor.html pkg.csize=2404 pkg.size=25816
file e01bc85ef628c64df73a14c637ee6a9b9d1e774b chash=b9f5f0d25bc31a64a76221d6ab7e3a6da678f712 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/visitor/class-use/VoidVisitor.html pkg.csize=2212 pkg.size=22958
file 5e7fbfc56885bef3e313fa15221b0aa3cf2685b1 chash=d8e60e7590db14d67b6221d01f8a76161f9ca6f7 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/visitor/package-frame.html pkg.csize=589 pkg.size=1552
file 3a8f938e2ae44e4bcc7c25950c59a3743eeeefb1 chash=7e3d5c5ce9b8b04eb1ef712ee8ce9a9c98d50178 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/visitor/package-summary.html pkg.csize=2091 pkg.size=8644
file f9e7de8b061ae16915188ac65f24d47fc42009c7 chash=6566e68b7b08cd361e03b54029aa80c7e9d82a2e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/visitor/package-tree.html pkg.csize=1488 pkg.size=6498
file bdd8c40e233090c1b53554df9045c469c52d2da8 chash=eabecd9d7fa7820096d16839da19388ff2cf07c7 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/ast/visitor/package-use.html pkg.csize=1700 pkg.size=8020
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine
file a44f26865decac0179e85189e61d3ffbc587919f chash=7a504cc767b340b175516f20298510dfe866472c facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/AbortedException.html pkg.csize=2039 pkg.size=11115
file 61a0c8526b7a7d6c38eb46ed2716ba05bb816e5d chash=2ac68caa021e9e403efc06a284323a90cf8f6629 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/CapacityExceededException.html pkg.csize=2997 pkg.size=19442
file 1d06f50c8cbb2810effb3f5cc07cfa4532b19903 chash=b0a749d84a979132343e0f54ec46ef731154838a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/Cost.html pkg.csize=2324 pkg.size=8911
file ecc2fcec8c33d69c37324e9d86b66b4d5a076641 chash=54adb3556599ab1fb81ee1150956243f491d9f7d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/Evaluator.html pkg.csize=3625 pkg.size=21086
file 90f800e4899cbe976624e9b831b292675a351ae8 chash=fd49ff1c356b64206b4ff6ccba066e3956e44fd3 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/Proof.html pkg.csize=3512 pkg.size=16774
file e0277352d57ad8605a9505d5fdb710a0d3c836df chash=51ef90744d8f8c47b4e70c76845951ebc201f9ff facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/Solution.Outcome.html pkg.csize=3262 pkg.size=18177
file 24006bf3cc86533cfd6ed5ad688e0c7d53afbea1 chash=f3b7ba95fbac94ca7ff43f8184c53ee135ec7f4f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/Solution.html pkg.csize=3203 pkg.size=16772
file 21a373b78d384040e9854959e363f883011f01a1 chash=06c6c1527cfa957070b3335a546b42095e427f92 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/Solver.html pkg.csize=4058 pkg.size=26685
file e0fd2cb26ffd0439de8c5f6046b5651beafc5915 chash=1c3b2710cb6f229b47a70b21ddf7bea72a9ab920 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/Statistics.html pkg.csize=2648 pkg.size=13823
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool
file b7365b773650baf47092efce2924c8989105b667 chash=ab3d04032fa29cd9960fd6ba70dba6e25c5eeab0 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/BooleanAccumulator.html pkg.csize=3741 pkg.size=23021
file 8f0870b3041536ea82404321aedd1322dbed498e chash=1d4cc33766c9322706b2ddb9878dabcc3ef4353a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/BooleanConstant.html pkg.csize=3053 pkg.size=17411
file a85790027b1c4ebf6bbd0ffe3facb2b111dc2668 chash=0a5ed2f64441128d0ad73ba1aee2d90d4ed422c4 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/BooleanFactory.html pkg.csize=6422 pkg.size=50438
file 6824dde742843447cca8745421613cb211d91833 chash=67327fde7058e1b45a1198d1efa552c8de66d340 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/BooleanFormula.html pkg.csize=3029 pkg.size=16755
file a0c3fbb1bdc339c8a4ba97924045288d3a8bb29a chash=0cba08c2443a139df38563fada1b39b391b6ef0d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/BooleanMatrix.html pkg.csize=7364 pkg.size=61621
file 18b4182002c774eec636e8f41af5c531830e0728 chash=14c05d3c65b43be92362ad23f1935fd28ecf30e4 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/BooleanValue.html pkg.csize=2994 pkg.size=14427
file e5582418e95c9f6c4c9a796cc63f8e8e91e250c9 chash=d8a55f2978a61b4577fd9d28a8db1282661c4570 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/BooleanVariable.html pkg.csize=3245 pkg.size=21072
file 851535e997f94dc0423ae92a3943011dd344574e chash=7ac25c6b051683750f83e7a6848e00f70f800f1d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/BooleanVisitor.html pkg.csize=2391 pkg.size=13309
file 88bead16ac02cff2f0c6ef1800317e6f0e9d4ea4 chash=5707184874c54dd3f4cffd80cadb818989a30ee9 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/Dimensions.html pkg.csize=4289 pkg.size=28084
file 3d54eb0bbd3a98aedaa1291d7d15e8b88a379d58 chash=3747161b3baa49620e88ce6c7a7efa6772f14ba4 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/ITEGate.html pkg.csize=3329 pkg.size=21613
file ef971d70d25e4ee8e16fab51d45217d14777167f chash=1b3dd18b6c92bb86faa9248e6fd4a9f4b36694fb facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/Int.html pkg.csize=5119 pkg.size=49542
file 32ace7a247b2cee960b3389354fb7b34f5b6b8b8 chash=cc505fae9300ec205b407cf36fefe6f0dd0ef392 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/MultiGate.html pkg.csize=3082 pkg.size=17563
file b5d518c0c9d53a13535c73cfcbc615bfdef98328 chash=b3a9c379b7d0115a60b94ce35f41c8b26b57ff25 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/NotGate.html pkg.csize=3280 pkg.size=20928
file facbce1837e05c25866883ecf4e5dd118163240a chash=3e8a7a99eca6b4179ef6adbc980a970ebe0bb9dc facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/Operator.Nary.html pkg.csize=2748 pkg.size=15146
file 6df8777230fca7c8dfe45367ba1c6d633969fc80 chash=04c8f19fe4429008b6a56234cf7dfde405a8efc3 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/Operator.html pkg.csize=3142 pkg.size=19525
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/class-use
file 117c13719659e62fd5b83d24ade525e0e31958ee chash=89d9754ff628f78c4a753df55e40c6aff4e54dfa facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/class-use/BooleanAccumulator.html pkg.csize=1853 pkg.size=8979
file a1fc0eb7d5f6f87683ed494910f9ba1e8e40b0a5 chash=1dac7aa3949e4dc7cffb890c2489d835cd9c3b9d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/class-use/BooleanConstant.html pkg.csize=2218 pkg.size=11881
file 5992ec8c6484f95efba71bc93cb94718e349753e chash=c405fd567a5fc54f412573dc00054e8705e0557a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/class-use/BooleanFactory.html pkg.csize=1851 pkg.size=8418
file 5cbd7af5e01c82085d0c6264fdd2b0658b8752a8 chash=6dce8c406f4ab8e437e95929f48f2a5c70c74b21 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/class-use/BooleanFormula.html pkg.csize=2408 pkg.size=16929
file 076f75f6cc489f30112990baca2e0927c00d43cb chash=f9230876fe8c8bb9fd2d70d21063510b6960f4b3 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/class-use/BooleanMatrix.html pkg.csize=3032 pkg.size=30764
file 76b42a22e9007024091369db2207cbc9c1dded61 chash=ac54cd9b68b73b23c4c0b2d497e49649d7ddc35f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/class-use/BooleanValue.html pkg.csize=4088 pkg.size=42146
file 1ac3462c25e5170c7b21c9f731eeddb10a94f2a6 chash=01fb6418db28bbd54c02d5892560ea67dd07c5ba facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/class-use/BooleanVariable.html pkg.csize=1742 pkg.size=7949
file 457177015f749c59a4e9397043c74207c7c05ca0 chash=5a2584072aadf28e6f1a7424da6c7796e876b167 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/class-use/BooleanVisitor.html pkg.csize=1787 pkg.size=9208
file 4b2b3095822095bb04b093fd0dc6b80976d64b6b chash=9804605cdd1cc5dc8452a82eac9f2bfa63d29e37 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/class-use/Dimensions.html pkg.csize=2188 pkg.size=13105
file 833a7d5937136d9412ae7891e95b08ac36951416 chash=a419f64fca9d5d1ac65dc1bbce21fc4d3585fab8 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/class-use/ITEGate.html pkg.csize=1678 pkg.size=6747
file 3882829df9de7a63a9ba9d0d4c260280ce11b89c chash=c898dfe799405cc2f988172227d7bfa54ec51a51 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/class-use/Int.html pkg.csize=3522 pkg.size=36219
file 7a8828b783c362430ef8cc76633d3e2f44b16f8b chash=ee003eba4d4535a4d6a9007d15c45f394d94f2d5 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/class-use/MultiGate.html pkg.csize=1672 pkg.size=6783
file bf329711a5b0081da7fe132020750e0607105568 chash=10b8758921b2c045762781924a7f376a61ec3c43 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/class-use/NotGate.html pkg.csize=1672 pkg.size=6743
file 351d28cae1e003e7d10579ddbc5b58cf1882b8d9 chash=cbdf7692cc7926d8e41f64a3d0b553fd21214bd7 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/class-use/Operator.Nary.html pkg.csize=2029 pkg.size=11324
file cd3a48d933569b007ac87bb5335a307c80ede013 chash=cb66e7691ffd6b85a0b0e6007079b2e0a83e59cb facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/class-use/Operator.html pkg.csize=2064 pkg.size=12343
file d06280481709561df3c65f1e9360000700c03473 chash=80da9f9f202e4e7e207fbfcb00ac0752249f8c5b facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/package-frame.html pkg.csize=683 pkg.size=2447
file effcc9e86388b94870f384ba344b7a97487a3c62 chash=18358d1de72c1f2125e4d99370b5649d6536ae29 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/package-summary.html pkg.csize=2316 pkg.size=11859
file 929e5bd0e84eeeedab390d61c8d66d3fbc29b9d7 chash=034a0732c5960b6369739663b413fa7b4929bc2f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/package-tree.html pkg.csize=1616 pkg.size=8478
file 8de31bef8135d33c59eb2219dce8d2ddfbeac19a chash=b81ed796a302d47a08d1d0d5e12aee8ea9769b0f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/bool/package-use.html pkg.csize=2334 pkg.size=12833
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/class-use
file b4447427ff3303815e0c0851741ac95b02ed1127 chash=938e9f5ff5a53797d1c7655ccafbb183228755ba facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/class-use/AbortedException.html pkg.csize=1890 pkg.size=8432
file d923ab5d44fa7c2dd60a199ec6cd4fb3013950de chash=0243a3812548eddd928159fe4d6782604db387c9 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/class-use/CapacityExceededException.html pkg.csize=1180 pkg.size=4464
file b0d07496e1cd78873501bee5336a2aa1c5bfbb14 chash=4d57bf47235f32004f223878b94aa96f05e1e373 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/class-use/Cost.html pkg.csize=1739 pkg.size=6669
file 443d684b3a8bbb74659e4c7798db73da37eac33c chash=7e7b70a1059e260758c6eed1cfd91d0f5ab21342 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/class-use/Evaluator.html pkg.csize=1169 pkg.size=4288
file a4353fc693dd9fadd4cfb7ba8e8e1e1136ed18f8 chash=f3baa430a23c5849fcdd1ee818364231f91150f7 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/class-use/Proof.html pkg.csize=1776 pkg.size=6606
file 976dc470b7179c91a14b4692e5fa96925acb86ac chash=34340b4f36900f35929a435e6a486c445e4a76d7 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/class-use/Solution.Outcome.html pkg.csize=1813 pkg.size=7544
file 5abf3f58788e291bce2d555bba24bae7125f1651 chash=fe24fb5e4ff0ffaff33c338fec1b268f43449cf8 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/class-use/Solution.html pkg.csize=1901 pkg.size=8866
file fdddec1dacd4dcd2be586ec7e5e422d35546a145 chash=3d2004692e4c742871227136243700afa9fba15a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/class-use/Solver.html pkg.csize=1165 pkg.size=4255
file e5c4bcbea9fac466d361635200b7bd5b09e11f59 chash=c7452f1225e285d46e4f03f5a0d34555cfd12073 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/class-use/Statistics.html pkg.csize=1620 pkg.size=6296
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/config
file 0cd828039c5847c516f5a2443dff8d2f773a2d87 chash=a2d0df2e91b0309866b5a9b200a257701843ec67 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/config/AbstractReporter.html pkg.csize=3671 pkg.size=25436
file 0f40016fdb83610907f4ea677537e947384b4b08 chash=b6f88ac9f44e8d0e2324c1566abd1dedb82bf0e5 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/config/ConsoleReporter.html pkg.csize=3938 pkg.size=28013
file f5b808d4d00faeb2d77906f63992e46550977657 chash=4ed7f8fbd4fdc0d116676589eafd12ffb79fde47 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/config/Options.IntEncoding.html pkg.csize=3219 pkg.size=16604
file 92bf87c1bccc1c809e82ce23b3a1d31d7356ee8b chash=c3e6fdd40d48befda3f71e25e574ebf050170e51 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/config/Options.html pkg.csize=5602 pkg.size=34534
file 50188b7408cd187e1f3371f6bdff7b4e88657ad2 chash=3b2ab4db4841ed6b52327e4177063d936c694189 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/config/Reporter.html pkg.csize=3290 pkg.size=17021
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/config/class-use
file 54cb47673c6ccc20fd81e79d26c75d318bae20d4 chash=298030d42d43bfaf75f5f012e7d958e97d50288e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/config/class-use/AbstractReporter.html pkg.csize=1185 pkg.size=4490
file 4955229fe35a4c04d3ec46ef13ee1b0c72f8e52a chash=5f00062be7cf93e6e852f297093a013f44cb00e4 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/config/class-use/ConsoleReporter.html pkg.csize=1181 pkg.size=4479
file 37fadab126f14350f9d7ca97523fc91ad4220c68 chash=2259eeb1ad59a8c7686cac31db29f79c737dcc45 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/config/class-use/Options.IntEncoding.html pkg.csize=2098 pkg.size=10874
file 029a4c9862ace8faf7096f19223a474ea6f40df2 chash=a879a873f2b93b51c99f2cb912b14462bc5b324c facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/config/class-use/Options.html pkg.csize=2557 pkg.size=16882
file 672022912a014c8b84b2ade5c6cb2f22e7278310 chash=b5577602b0099e40ba09987624a4439fa1a648b0 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/config/class-use/Reporter.html pkg.csize=1827 pkg.size=9054
file 80a93cdcab2efaa2a160bddeaf4e92e2cf42532a chash=6c24a2f03c72c5f08d6e2c77b18503ef7935f66a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/config/package-frame.html pkg.csize=595 pkg.size=1442
file e4a1bf671cd5c9c9c4afaae40e131e19544fe71e chash=7840dcc44a75deaf489cafc21b0bc15045be575c facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/config/package-summary.html pkg.csize=2224 pkg.size=9213
file bb6a33cae11728aac6d55981990f9f52fb8fe690 chash=e78645fbde2c6c324488ae1a8774a424b2828e23 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/config/package-tree.html pkg.csize=1534 pkg.size=6759
file c3b7fe51251cf40fdc7968548b336a95b113cef3 chash=93a25852b4921e9c7a9979b94bb907415fcd1adb facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/config/package-use.html pkg.csize=2156 pkg.size=10156
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/fol2sat
file d2c506139ade6df4bad9a86a873d58efc43f11df chash=f6179888638f2c1eecfec0af3798c248e2e829b1 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/fol2sat/HigherOrderDeclException.html pkg.csize=2595 pkg.size=13261
file 6d951d24fd1bebd095ba996b9fef4e70877c6b6f chash=ee14593827dc00c7215be14fa92819d05f9552b3 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/fol2sat/RecordFilter.html pkg.csize=2441 pkg.size=11273
file e5fd7f60763dc2d4e97e9c4c2181ecf783e26fc3 chash=732d5ff4229de1457d32a42df788c33f182e0994 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/fol2sat/Translation.html pkg.csize=3236 pkg.size=15889
file 5a3e0756752f20048de3f1208aca6ae4fd3935d8 chash=eee285fedaaaacf969ef9f4339275a729e3fbdcd facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/fol2sat/TranslationLog.html pkg.csize=3493 pkg.size=16887
file bc0d4e04262a5c58b296eecf95f142d8a379a2bd chash=be244d916278d502df4bae1bceba56dce63fff0a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/fol2sat/TranslationRecord.html pkg.csize=3041 pkg.size=15808
file 822cd275df58852647315f4678fb79d0b2239ee4 chash=9ff01d98f9ebb285524e85617ed9909c786ff379 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/fol2sat/Translator.html pkg.csize=3445 pkg.size=23858
file 3545584d4d5134bdbfa830721d0758ae5017ddcd chash=920d3f2173beafe674565c21e03a5c0cb0fa2a73 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/fol2sat/TrivialFormulaException.html pkg.csize=2839 pkg.size=15714
file 632b9ecca73fd6965bc665593fe3febc002374dc chash=74f05eae4e1ee66fe7e4dab9745521f2f09cbded facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/fol2sat/UnboundLeafException.html pkg.csize=2570 pkg.size=13204
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/fol2sat/class-use
file 0b8bc82a3376063d2de9ca0c9db2136e7024d141 chash=ea7dd0b7931b4a661b8a6e2d13fbe412cfbe680d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/fol2sat/class-use/HigherOrderDeclException.html pkg.csize=1912 pkg.size=8790
file 73307d0caf5bbd2d9b7aeba41fe4c50dd8a0fbed chash=4a67b9a51f3ac3785d93900024b91c89fe6d4dd0 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/fol2sat/class-use/RecordFilter.html pkg.csize=1877 pkg.size=8147
file 70458fd49c1dbd701152755005c078a459095cf7 chash=a2c214defca6140946f306af1bf2a006f2313df6 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/fol2sat/class-use/Translation.html pkg.csize=1755 pkg.size=7102
file 4c52fb68b7cbe5957917f8095f61e926643c13a0 chash=5109f67c9bf69bff070d2726e0b855ee8a5461d2 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/fol2sat/class-use/TranslationLog.html pkg.csize=2395 pkg.size=16462
file b5abde485616c971688aaa598c90b8c66234c74f chash=1786e263ce9337c34ad490407c81d3778716b242 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/fol2sat/class-use/TranslationRecord.html pkg.csize=1988 pkg.size=9731
file 7c29c050ea595bf327c9f7698851c5dbdbb59956 chash=f51791ded611d57e1b0e1db1d60abfd4c3341ebf facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/fol2sat/class-use/Translator.html pkg.csize=1178 pkg.size=4435
file 39ce359002254cd6ba8f55027ab4bdce27a53308 chash=3b3d4cd5d1b748dbd80b8cc4df26061a88fde82b facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/fol2sat/class-use/TrivialFormulaException.html pkg.csize=1777 pkg.size=7293
file 9defb3fa897826353916bc98289f90ac570f3bef chash=f54b27808058300eba828a90cdfb67ca16c373e6 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/fol2sat/class-use/UnboundLeafException.html pkg.csize=1909 pkg.size=8726
file fbd93c57cf91392b92abcbda91a3183a17d4701a chash=3e2e2d38eecd6fe68b1f90516c4c06907910b401 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/fol2sat/package-frame.html pkg.csize=639 pkg.size=1865
file 1b37f455a45c8911fc12e34e5ee36c62d4af9af3 chash=86e2ce4900fd770585457f34ef6f950b31b7132f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/fol2sat/package-summary.html pkg.csize=2289 pkg.size=10360
file 7b0e169ad337a66d99f5b32da69a7571a540118f chash=9d805b44ad4c6c6bc044156066fae43f65daea08 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/fol2sat/package-tree.html pkg.csize=1549 pkg.size=7158
file 14b40a7573c19bd34ba5897900d584f8d6b0f011 chash=8b5761f3f99b92d411c158687ea9c580c0315dab facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/fol2sat/package-use.html pkg.csize=2110 pkg.size=9935
file e45c1deb236dfa7073053ecc14c92aab8629dddf chash=f155cd55ee103d42e47aa58e45c393a73eae38db facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/package-frame.html pkg.csize=649 pkg.size=1838
file 64e3cb31a88663914a2e0bdb4e756eb29d2de705 chash=2a3e188e2d71c2c3be1def82d87c663aac4e0889 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/package-summary.html pkg.csize=2399 pkg.size=10704
file 7a273ee129fc571d403f203a2fdebba05d9eb802 chash=d52497569bba1677c3fc364a66d74927a60b1c3d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/package-tree.html pkg.csize=1613 pkg.size=7709
file 84f95d0df93fd9720f538d6c38ee3bef5b0977ef chash=5d2abd8b9c315e35b3410a9f38ba18c35f361826 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/package-use.html pkg.csize=1826 pkg.size=6773
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/satlab
file 2567cb4db5ccd4e1ad987fd8b41220ccb77cad8a chash=aeb9d78807cedd5f658d18a6e9983a3312182171 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/satlab/Clause.html pkg.csize=3564 pkg.size=19484
file e529d9c9a8446b9f3858fb63f5d0c4c9d919013e chash=cb89fb48483e4028a35c1f4b0085f67dc449bc39 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/satlab/ReductionStrategy.html pkg.csize=2367 pkg.size=10078
file 2b24f468cd98b62f50c78770ca201cf412105036 chash=9fe894122f48aa5eab0b5e4f9e28a49323dcfd8a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/satlab/ResolutionTrace.html pkg.csize=4164 pkg.size=28142
file 0e214ae98a31d72e5482b5a4ef09b05f5b5c69e4 chash=34856389bcb9bd413bbee4555642687e6165b87a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/satlab/SATAbortedException.html pkg.csize=2099 pkg.size=11561
file 1486f1277dc47a279877e0e898ff8566a6cd540c chash=ecc8bda2ecb43c8506595d744227ec6d6992ed42 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/satlab/SATFactory.html pkg.csize=4740 pkg.size=31075
file df2ca6dd62c3020665e769aefbc741cc8dba700f chash=a7b31f74ac5b505a9b9edff04d5122545bbc21f8 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/satlab/SATMinSolver.html pkg.csize=2543 pkg.size=10662
file 5aa625a8792788d6cfb9577ed5c8c861967e3f38 chash=d6754d7574e98b5feda15636f1ba019655bdf63d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/satlab/SATProver.html pkg.csize=2744 pkg.size=12198
file ea98512d4a8aa9610b1219f5992fce611e29b372 chash=74e5729286651a5b969659f7f5c4fc9dd6f6df16 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/satlab/SATSolver.html pkg.csize=3194 pkg.size=14795
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/satlab/class-use
file b575720769bcb9cf25c75bcd616c9819d6379360 chash=d4b3234ce6c051abe8abe55dc7cb71392d5a8881 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/satlab/class-use/Clause.html pkg.csize=1923 pkg.size=9898
file f4b39b14e0b3ce6b4a336964a58c460d8c6420e0 chash=bb57d0d627c9df332509d659aa4a9da7dc11fae3 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/satlab/class-use/ReductionStrategy.html pkg.csize=2295 pkg.size=12889
file ef976b489cbd87e2a06212016e563603b16fcec5 chash=2aa5d9c427909f234708fe70557d8ada436fd4f5 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/satlab/class-use/ResolutionTrace.html pkg.csize=2188 pkg.size=15858
file 3616dda5d4c7d4b359f723979d321414d0d4b33a chash=1583185417d937ab7284111f808152af5594b584 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/satlab/class-use/SATAbortedException.html pkg.csize=1646 pkg.size=6584
file e0c6e34459e7c03e06d7109cb92dbfc08fb5ecf2 chash=ed2be4b84be3caf3d191dac1dc7eccb1170dad81 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/satlab/class-use/SATFactory.html pkg.csize=2433 pkg.size=16112
file 20262356c2350906d7c05e031e2f4b22a6e779e2 chash=8abedfea939f20e08e73fb6679ea18dceec0f3a0 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/satlab/class-use/SATMinSolver.html pkg.csize=1186 pkg.size=4470
file 596e20bcd47a17df4d1c44d5bac34fcaee0d7e3a chash=44e5f384a5d2f14af0e6570b65494fc2d013100e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/satlab/class-use/SATProver.html pkg.csize=1183 pkg.size=4437
file 966f24e1c344404ec953324fb86dcb4df4ae2d3f chash=a0026eaf66acb596285af9b04a2a3df422f6fdda facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/satlab/class-use/SATSolver.html pkg.csize=2010 pkg.size=9682
file 066332a5a488ca4894e60c118b5962d05820346f chash=8dde6a5e628ac1ea12dce41248020a17b575a8a4 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/satlab/package-frame.html pkg.csize=636 pkg.size=1942
file c2d99468846a118257e9488593b0e22d52f05982 chash=bcd33a5ab0a134aa83cc6f7a08dcefe488623dc2 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/satlab/package-summary.html pkg.csize=2086 pkg.size=9770
file 3315e35555f538f4832265fe61f1a88abd8d2a60 chash=12bc8182c39bc67c61cdaae83cac29a4a5f1bf3f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/satlab/package-tree.html pkg.csize=1572 pkg.size=7310
file 7f0fe6c868e2ae80db947e06a227eed5836bef7e chash=3aa17854898dfbbb6fc373b9260ed7f906caf531 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/satlab/package-use.html pkg.csize=2182 pkg.size=11887
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore
file 5c682b4a1ee90029636ed194c4c9c12cc94f0205 chash=b3d6aadc5ca075179df533ce416124b30b96fb30 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/AdaptiveRCEStrategy.html pkg.csize=3625 pkg.size=17174
file 69c12995afe10ce176ef36008c142272a31543be chash=74c518cbeb39be60789f9dfc9c7abc7db0485fd6 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/CRRStrategy.html pkg.csize=2925 pkg.size=13079
file 067928ebc070ae11134e789b8bcd2078441927aa chash=bb5877fa64a17e0beb4b8ba460f7f9b8dccd8cb1 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/DynamicRCEStrategy.html pkg.csize=3747 pkg.size=17638
file 36ec0dd8e5a18dd42722736f233b61fd8f9327c8 chash=148ffb65447d875159eeac13e7d08fc47bfef4c1 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/ECFPStrategy.html pkg.csize=2954 pkg.size=13455
file ff00bce74e8133d2ef024a36cdd4d04a29619f65 chash=503cb39af39d9bcbb9e23e7ca6d2cd0a68b778f2 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/HybridStrategy.html pkg.csize=3123 pkg.size=14505
file 6953626c4873ab65fd3e7f3bd7d91aa6b58c740b chash=f873bab483996fcf0c27597d6278e1cf9e5eb85b facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/NCEStrategy.html pkg.csize=3136 pkg.size=14606
file 6922eeb5af0bfd8180234a740da5fa5714a5341e chash=a8d2b4ba46ec57a8f2b450c02a60bb7a829f27b2 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/RCEStrategy.html pkg.csize=3274 pkg.size=15890
file b9778d36fe9ac64ab06b55de1a63651a5ae9e555 chash=ed431b808c2409615825bcdd196996de0ab80e82 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/SCEStrategy.html pkg.csize=3142 pkg.size=14605
file 542feacc69bef238f2bbcb227227415d48e70592 chash=e64cbeba080c425ef53ab1de5e663f95017b369d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/StrategyUtils.html pkg.csize=2760 pkg.size=13195
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/class-use
file 5aecfd6d439673b82db26dadea1102e19fcccda3 chash=43085bd2be4b8f55646c6f82b9a50ad4396f64bb facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/class-use/AdaptiveRCEStrategy.html pkg.csize=1186 pkg.size=4512
file 75d5567f203f9af2b932d232a5bcf509b65d833e chash=b459b1a109222e62adb9cb45e5bed0fab4b1b8d9 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/class-use/CRRStrategy.html pkg.csize=1180 pkg.size=4424
file a1e171a256dc7767aa070a2365675250712f86bc chash=aa498084cbfcbf16012814e4ae0c42f8f00b7d2f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/class-use/DynamicRCEStrategy.html pkg.csize=1185 pkg.size=4501
file b243968575a646d41135a982bd0c93dfb394e5a1 chash=f7cd640f65bf3c79149bdfe936ba16369c45e9d1 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/class-use/ECFPStrategy.html pkg.csize=1180 pkg.size=4435
file ab8e8837c378622b261eb7aacf97858d2394a5d1 chash=0d67cd95de0924e98831278029d79ba158286c30 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/class-use/HybridStrategy.html pkg.csize=1181 pkg.size=4457
file 6f22247436936f1e1585a758e89ef33db97a3cc3 chash=f0ea7c058e5b1496fa5f92e5367fdf96c4cd8fc5 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/class-use/NCEStrategy.html pkg.csize=1180 pkg.size=4424
file b2b12c5c1be7a7f5207f8cdcf224675828e286ce chash=7b9a10442f12c79d034193e8bb583860f8724445 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/class-use/RCEStrategy.html pkg.csize=1180 pkg.size=4424
file a6e1c6b5cc733e01880d76f52fab182a81afa706 chash=09d3f3adb17e4529bc40575152905bb444b7833e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/class-use/SCEStrategy.html pkg.csize=1180 pkg.size=4424
file 5b78ee0c3855ed521d58ece021c4b7aa78d9a809 chash=f93e7b2aae1a3eb3ae8f87c6f5846b4c1d826136 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/class-use/StrategyUtils.html pkg.csize=1180 pkg.size=4446
file 770ddbca019a10afe6f512479c76a4f6e5db993a chash=d4cf17473fca467fc51b666fbd39af686d7cfba8 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/package-frame.html pkg.csize=571 pkg.size=1731
file 62afb0370cd0fddeceb4a9705c62855e9176d5b1 chash=19d67e30371c28533575e4f0859c219e8d2b113c facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/package-summary.html pkg.csize=1996 pkg.size=8785
file f62bf0645133861556eae055b55e8a759ad650ba chash=d6a44ebddbfcd85bff955923f2aed7dfd6e61876 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/package-tree.html pkg.csize=1482 pkg.size=7634
file ddf1d57e5a4657e9fe9add9aa46ac71c78f92394 chash=ece6fddc2b083e072c749cb17cce084be06ccc4e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/engine/ucore/package-use.html pkg.csize=1143 pkg.size=4097
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/instance
file 45e93a33d325f1d5ddd4c80a5aeaa6e4ba7023b1 chash=87de5af859758e82a740712f516018add0437f68 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/instance/Bounds.html pkg.csize=4360 pkg.size=32271
file c8f73ab6af998bead90068c671a2071bbe75e92f chash=f2e7a212bedc28db09b3f1bc8ec3e6f7a3550c99 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/instance/Instance.html pkg.csize=3942 pkg.size=27570
file eb5fe8b94014a1ead011bbcf9f02f2e98a8c253b chash=eb18d4e1639792c542e99a53146a6f7a4ed75e66 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/instance/Tuple.html pkg.csize=3657 pkg.size=21603
file 8a0ed6e6cd766c4e673c34a099153957ea32cfd7 chash=32ef8362521e6b090733479a4401be80e27d592a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/instance/TupleFactory.html pkg.csize=4320 pkg.size=33008
file 263806f9e75ba0c405bd06c62cf651157337f6d8 chash=ea3772eee2b45898fbc1f4fe9713eff67015b047 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/instance/TupleSet.html pkg.csize=5761 pkg.size=54156
file f694626262e2c813f659a1c39aa1d7269da7bd49 chash=4fd580e5937c4dcb1126457b797a645afd3be1b9 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/instance/Universe.html pkg.csize=3923 pkg.size=23741
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/instance/class-use
file b54e516b8cb1d78fc7e5e666efbc6e7d7e4d2244 chash=71d59e527016a023fcedb1361c197ff84a94b21d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/instance/class-use/Bounds.html pkg.csize=2766 pkg.size=19102
file eaf007ad966feb7bcf5be3b6ffb62f9d26593c04 chash=3e1fd959724fe3331c144c9f5d145e9c8d2eae75 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/instance/class-use/Instance.html pkg.csize=2486 pkg.size=15395
file 1b48ed0e46f9cebf941c9224034b61c8a3116bd0 chash=90496310e79b04da1c1937df674760088f98f15d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/instance/class-use/Tuple.html pkg.csize=2367 pkg.size=15668
file 35ffa6b4d004b16273614cb3e1545496f52f51cd chash=528c04798f58e0550c1cfd9b6bb86c47797409d3 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/instance/class-use/TupleFactory.html pkg.csize=1642 pkg.size=6458
file bf9ffb2aa1eb9bba9a87cbc0d6545a37bb2dbbd8 chash=b20abe175a2b7bd95e347b280c3881779be991ed facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/instance/class-use/TupleSet.html pkg.csize=3587 pkg.size=29138
file 91cc5d6be95baf3a1c3d0a1bf40cb72837dc7e68 chash=20e3f85cd85192e111de7ef6c71b25c2a81fe776 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/instance/class-use/Universe.html pkg.csize=1852 pkg.size=9327
file 2f5c4c70ce2792168f8ab767f3497a20b8e27195 chash=9d7cefcaf6c8dee502b5f3cc5120fec7a3f2b245 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/instance/package-frame.html pkg.csize=534 pkg.size=1279
file 13e8ad77feca2954d0524d8aa48d8332f56833c3 chash=8cae52433272179326a80c84c0c5c71a6bf71d5e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/instance/package-summary.html pkg.csize=2073 pkg.size=9083
file db429b7ffb1d469b397ed621758bc91c9f732255 chash=a0442d8d12787050ed8806bd4213abe6fb6ccf5c facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/instance/package-tree.html pkg.csize=1523 pkg.size=6986
file d63d2bcc7c0315d222e872f29715504377600594 chash=8c691b7ffe695550cc618bb6646df2ab04ce3685 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/instance/package-use.html pkg.csize=2258 pkg.size=14625
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections
file dfab0e6508d1361669cec5147d93c1de16bb5f9c chash=b8584b911cb572127cb40c0dfa2df1574223927f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/ArrayStack.html pkg.csize=3848 pkg.size=25485
file 7db52a22b376468f9b85ae65531ea034705b2230 chash=8b87679e46c490a1841f9c4454c961b28899366f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/CacheSet.html pkg.csize=5284 pkg.size=40199
file 846ab3ae8f672dda0c2c6c6977773a8db18150f7 chash=a308ca981396c5d938d83e13df530e9f08373a8b facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/Containers.html pkg.csize=4293 pkg.size=29968
file 56142b4164e096fda782ad019602e3b7723af6c7 chash=30dea167336ce77b6e9ad0f2535e6f9321155c3e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/FixedMap.html pkg.csize=7141 pkg.size=52927
file 4eef5c44b6fce27051cdee664eef119e8082798f chash=0975fd864b22344b306b55da0cdf7dcc96258501 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/IdentityHashSet.html pkg.csize=6300 pkg.size=48436
file 9d9cea3ba78080d4d7efbd1a23413af600b861ad chash=7fe4b4ba852a373da4c7166955ca75f39ea37d9f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/Indexer.html pkg.csize=2428 pkg.size=10161
file b59edd8bc726b7600d3489646172c29f1479ee06 chash=decd5af951106f2791db8f6dd4cea67637039754 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/LinkedStack.html pkg.csize=3524 pkg.size=22649
file d5f6e57c1d3dbe5ed5979f7a9bc8fe58f0c2c975 chash=bb8f110d7563e767495e61ef66773b6dad4b1c06 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/SingletonIdentitySet.html pkg.csize=4589 pkg.size=37125
file 0e3d8bfc1167b058f19e5b7b36fd171ee91954ae chash=465ef2f90a9fc8428851569b58a51a7f599bbd47 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/Stack.html pkg.csize=3647 pkg.size=21559
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/class-use
file faf9320a2025d01c2f65f558f5013700d085cf4b chash=38c6c68b1fc0dc556d9dad53289f2122f8e1c73f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/class-use/ArrayStack.html pkg.csize=1181 pkg.size=4457
file 3b4b1682ece0e1508150f4f6924baf874cef9ecc chash=d8cf800ae3109a7823e435605289147c0e5ad13f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/class-use/CacheSet.html pkg.csize=1180 pkg.size=4435
file 12535d155d326ec65b8d30cd8ca6d51f9c967d26 chash=23215fbcffe244f082afcd6ece96e77846ea488d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/class-use/Containers.html pkg.csize=1175 pkg.size=4457
file 5e22e8893cc9bf75cebbe1aa39f3e8744786deb9 chash=2c30b9cd5c991655ddac16e24ef5a0cf9b332ca3 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/class-use/FixedMap.html pkg.csize=1181 pkg.size=4435
file d0f693c5a8a19e34369e95f39ea1760b65f0f21d chash=36c0b8936ffe21b518d794184f5a281c47866e1c facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/class-use/IdentityHashSet.html pkg.csize=1184 pkg.size=4512
file 987c44a6276e143b2c6ca82f131d6e39a3dd01ad chash=18ec5d375b863236bb318e0530ea2bb080bc47bb facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/class-use/Indexer.html pkg.csize=1684 pkg.size=6600
file 84e74fb7750905b8b472df96ce19bf03956130b4 chash=0c04246ee3f38fba4bb9ed875829afbfc47b6d10 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/class-use/LinkedStack.html pkg.csize=1181 pkg.size=4468
file 00b9517e46f0ad274d2dd6f41dfce1ddcc3f4294 chash=9ea10dbb38d4790998a03c5237a4a0aabe1f7f3a facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/class-use/SingletonIdentitySet.html pkg.csize=1188 pkg.size=4567
file 8131b3c583bf401cba474ac9a1b1531af53e550c chash=b33676d2eeb2ad3ac22a2431db9b6920ae7a338e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/class-use/Stack.html pkg.csize=1648 pkg.size=6811
file 0df1a5f2d63215ac6ed7c00de15ba599d11b9ebf chash=0d9b0084c6ff10c671ba362d29f2efd561785abb facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/package-frame.html pkg.csize=626 pkg.size=1835
file 7794e81d412700b3e7fda41ab62601fcbfbd15c5 chash=8450ae28dd456164047460229b6b5fa3b1bfb3d5 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/package-summary.html pkg.csize=2057 pkg.size=8722
file e61c399f45620507987d192f20f38f035e5e955b chash=2d1688fde2ba62c1ef3234a9747bfe4cbc9c278b facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/package-tree.html pkg.csize=1631 pkg.size=8074
file fac1b94b462343b949e03e2c89ef56409863637b chash=0d133a4c3302aeddc7f8dade8ca1dae32d64399f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/collections/package-use.html pkg.csize=1584 pkg.size=5906
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints
file ce85d385f941720c4672df17181bc1e45aace15c chash=a7fd87deb3cab6caf8b4b9edb95282038eda6483 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/AbstractIntCollection.html pkg.csize=3853 pkg.size=26911
file 7d92180868f20f627f590a2a03093a9fc780e3d1 chash=0b07b21125242820e1c50b0ee19c394ecfcdb11c facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/AbstractIntSet.html pkg.csize=3770 pkg.size=24156
file 1823b65be902cc31d8b6f6139ecffd77ce7d7d8c chash=088aee98c963c21db501794b23765620dfd926f8 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/AbstractIntVector.html pkg.csize=4252 pkg.size=35445
file 3a9b1098cfd292e13ba780f7ebba2dd8b2646237 chash=d9c24234bfb6675370a0329f45e713ad6dfb76e7 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/AbstractSparseSequence.html pkg.csize=6404 pkg.size=46547
file 4200ad6e857c85ac0857bc562c7cc03f37c99b5e chash=0ac219797077a0238faef18ebe872ed54ebf2ab6 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/ArrayIntSet.html pkg.csize=4692 pkg.size=32236
file 6de6d0df66d58cd3febd925cb175d45aa684cc42 chash=03311041b4e693dec9c3284abf74846c7c1575d6 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/ArrayIntVector.html pkg.csize=4618 pkg.size=31678
file ace309570a340a1d0e61eb93183221c7357645d3 chash=ef564a186ca2ecab6aef3515bce1edbd798c11c3 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/ArraySequence.html pkg.csize=5445 pkg.size=41605
file cbdc2d6bd320cc287bc5f9c5712ad5a5c4783822 chash=d8c2cd12c5d2abf437055ee7b62be38453c735e2 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/HomogenousSequence.html pkg.csize=6171 pkg.size=46468
file 7ad2a6a4f3e762afac9d75a6e5cb2e5e234653da chash=137e98bc2c7a868f41a01dd04ae30f69e73eca35 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/IndexedEntry.html pkg.csize=2657 pkg.size=11626
file 3d7b71183e8664e5df2aebcd677d3ba9fe0040b5 chash=9f0e6d7352c08a117c27bb44504f863449f36040 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/IntBitSet.html pkg.csize=5671 pkg.size=45984
file 63fe4bbf5a5bf3f7922225f38b3289ed193638a3 chash=7547626ccb3b60aa89f2d911466e1b0fe9932d4f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/IntCollection.html pkg.csize=3573 pkg.size=23687
file d99b07bc00c5b1ff5f51e00e8d8947a2aa30fb1b chash=86f0d6feb706577adcab7f4ae6ab95df97d0badc facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/IntIterator.html pkg.csize=2350 pkg.size=9898
file c446e8b3f2d4b9ea0055b793aff6bc7d977e671a chash=3e18e346e2af502817174ce5d7e11df8c5ed80d3 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/IntRange.html pkg.csize=3008 pkg.size=17346
file 69764ebbdd8674d5bdcfe9164889e998a13ce6b9 chash=50dfa7fb2cd8d6976e6bc8b0c9cb2662cc21f958 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/IntSet.html pkg.csize=4763 pkg.size=34971
file c8022706af09523b16fdad486b4d02a32c6cafde chash=12fcaf5fcb2cb2f79375a1f1537540d3690d9344 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/IntTreeSet.html pkg.csize=4286 pkg.size=34111
file 917213b24d8582a81f642da346a6022a814ce03e chash=8da6327dc616d61f237ffb5ae6f2cb71939caa31 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/IntVector.html pkg.csize=5485 pkg.size=40448
file 0de72cffd7bc7e236e9fc3f561394d5999c4e144 chash=e051139ed0a6680a66637bde3537618cf60c36a3 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/Ints.html pkg.csize=4675 pkg.size=31700
file a0daef3763279e754948eec49a777c1614e57a0e chash=4941ca9d01d45b10e07cb0732868eb8660b9422b facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/RangeSequence.html pkg.csize=5591 pkg.size=39605
file c2427f172314ad0dcda2bf414e9f4bb7b1c341f0 chash=fa54de9d6c8ffa6563a9a42026fbdcadde153a14 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/SparseSequence.html pkg.csize=5142 pkg.size=34738
file d5792cfa109000cdd0243e734d9d1f563231ab22 chash=a277836928c6fd0882fc645e39bfeafe58f99d2f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/TreeSequence.html pkg.csize=4974 pkg.size=37484
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/class-use
file 3897fbdda65cbc00cb91ce27b39fcf6fa9b38a4e chash=22dd88d88d92cfaaad3a7487265ed859df48cbe9 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/class-use/AbstractIntCollection.html pkg.csize=1744 pkg.size=8245
file 73d8775e2cee80699c2fb3ab3dc40cf7e33b39f3 chash=a5cda96c6669cb9f244e67559e688af95578115c facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/class-use/AbstractIntSet.html pkg.csize=1680 pkg.size=7087
file 3d1bc075ec8a11f1654c790b166d55f253df5aef chash=f0bc3870a0186a942759b77e47037314c93836ff facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/class-use/AbstractIntVector.html pkg.csize=1583 pkg.size=6433
file 14e8b31d55d67b658794eb5e2be1d45050f3c034 chash=12992201443e0a37cce6b11ae2a25c662f92caf6 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/class-use/AbstractSparseSequence.html pkg.csize=1715 pkg.size=7702
file cde844a59ac86d56ccddfaa09d3840a4be93fcb2 chash=c8e33e59aa5f6f4d4e51279834fba9c9d8aba094 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/class-use/ArrayIntSet.html pkg.csize=1179 pkg.size=4391
file 7f9fe0c32d91e5811dd3bd2347e24caaa7a475b3 chash=2473cede23d62b5130ddac69b928e46951c474f9 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/class-use/ArrayIntVector.html pkg.csize=1180 pkg.size=4424
file 2e2b7477bc6d5c554ca0ef6a7f19ccc1cd5072e4 chash=3a5ab6c311da673edb0635dd8e8240b45ebce59c facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/class-use/ArraySequence.html pkg.csize=1621 pkg.size=6575
file d82c98c2c8eabea5d93be3c4fcb71f7977e76ad4 chash=ef008f35b4b3c26709a9e280ab4a090f4ac81dea facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/class-use/HomogenousSequence.html pkg.csize=1627 pkg.size=6685
file f6d7aebf0680b92297cf0bd291972052bbb8c1c2 chash=598209d364ceb9f14b64c1ef8c4170a6785b70bc facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/class-use/IndexedEntry.html pkg.csize=2530 pkg.size=28361
file 8565be81ab08e7a5e5820f25294c70fa8a4f549a chash=9357f28c16ebad3a1a15d209edde0619ccec10c9 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/class-use/IntBitSet.html pkg.csize=1592 pkg.size=6380
file 48ab9da027b12550ffcea865610056f3e02bf045 chash=401e05275520f7e61f986db6c8ac383e2d44c86b facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/class-use/IntCollection.html pkg.csize=2558 pkg.size=23581
file 2c858a8a34db506d30a82ffa578d1fc13b460646 chash=fab1d38ed7c681cb54101121192552badd9cea07 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/class-use/IntIterator.html pkg.csize=2105 pkg.size=13838
file a50da3f9655c78bbb42055fa162dd7d1245d5ef1 chash=ffd849aca57e56a03073c12e40f364174a873f10 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/class-use/IntRange.html pkg.csize=2056 pkg.size=11616
file d802719712b225207f1f935758b2de1800f3bdf4 chash=f391e085604e4e81078678025d777b8670f7e008 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/class-use/IntSet.html pkg.csize=5142 pkg.size=48990
file eba997943030221149977852a840b6bdc0e7ccdc chash=0d6afa0ab855925d9c06c7e1ee62c0e115529f38 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/class-use/IntTreeSet.html pkg.csize=1593 pkg.size=6401
file 6b1c3e6fdb0c2426be910bcf7763de96c554978e chash=d1fcc2be4c25de3073ec3b887c1ba9ed87b85f68 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/class-use/IntVector.html pkg.csize=2268 pkg.size=12996
file 6d95dc6b92ec2fc12b25987e99923e4e09e8e72f chash=c84460b947c3924240dae34b0a712beb25396fa7 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/class-use/Ints.html pkg.csize=1170 pkg.size=4314
file 2fe8470b5a9b3fee0a4c5998bb9cebea5304cc51 chash=4f860662b59dac30957bc2516cba566f102abe98 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/class-use/RangeSequence.html pkg.csize=1621 pkg.size=6575
file f280eb56497c421d31c5f5a41104853a88c818ff chash=75b8cc849250ffecba459eb536ebc188dc11547e facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/class-use/SparseSequence.html pkg.csize=2447 pkg.size=16975
file 274795f05f667f8c5d76928bb61ca9e838fe6802 chash=0d569703740e1cb8b717059b345f2640c25126dc facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/class-use/TreeSequence.html pkg.csize=1619 pkg.size=6553
file 448d721b901b1d78d35f58b8dccba00baab4d9ad chash=625993ceea84843c346941cbe2ddf1581d2dbc11 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/package-frame.html pkg.csize=729 pkg.size=3184
file c12fbb3536cad92950471b32fd3e130f3a772e0d chash=5f00f6f427552a47b9d5042d317e8f18f7427154 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/package-summary.html pkg.csize=2279 pkg.size=12136
file 52d22c7123b22100eb047e2a5eda9b157face3a7 chash=db91d9a84b92593b415a8e3157b2b87cb00670e2 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/package-tree.html pkg.csize=1737 pkg.size=10694
file c037f1408e482cb052d2cc0b36f2fe50b29b6d8b chash=5e3a29f946f79575d2b11c672c9ef29c15a44da1 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/ints/package-use.html pkg.csize=2691 pkg.size=17567
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/nodes
file 86e9fdebdb73dd0bb7596b465be0eb19322a9b31 chash=f1af036a441f4d2192c20e111be84dd2b7c03372 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/nodes/AnnotatedNode.html pkg.csize=3909 pkg.size=25335
file 43bb7e0b20cde3d1a93b62311189242d74ba5ca1 chash=20721c73a8667e2d39b673e79f872025523c2a2f facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/nodes/Nodes.html pkg.csize=3082 pkg.size=17519
file 64093825031d676d421cb9332dc5515bdef9ec6a chash=7cb2746d0eeee4077f14f74be93b4ad09f436ecc facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/nodes/PrettyPrinter.html pkg.csize=2795 pkg.size=17765
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/nodes/class-use
file 31a3de9349e451d5483042ded87c5efd961779bc chash=9f9764fa636af98146035bd8b0265fcd2db44c25 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/nodes/class-use/AnnotatedNode.html pkg.csize=1820 pkg.size=8364
file 2b03b826fe068093cc5eb8f6c25d901adc71e8a9 chash=5859c6b30c06f813b8be7953b530d6b8164ee020 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/nodes/class-use/Nodes.html pkg.csize=1172 pkg.size=4336
file a1b3770db9c92b5cd8462ff07ca1390b71b57b5c chash=f42afcaa617ab3c101fbaf01631ad6ef0763d055 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/nodes/class-use/PrettyPrinter.html pkg.csize=1179 pkg.size=4424
file 203d3fbf3beddecde935e048b7b60d458a53cebd chash=a62de4b4051743043d87a50923e28a79b8bffff2 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/nodes/package-frame.html pkg.csize=512 pkg.size=1019
file b334d6493d6eeba999cfc5bf213edd128204e5ef chash=b3fbdc61a86eafac0096e8ac91801d40f5ad0996 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/nodes/package-summary.html pkg.csize=1741 pkg.size=6540
file 7ddae72a72402cd42d441ea2385dc36f707d12b0 chash=09c167be36bc25a790abc33ee46715e79d7f8434 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/nodes/package-tree.html pkg.csize=1370 pkg.size=5043
file 8e39065c860e9e7b7cb3c87e21b7b6d7c4b796ac chash=527bbf99049b99d9ff0888e52a1810b01d94748c facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/kodkod/util/nodes/package-use.html pkg.csize=1517 pkg.size=5578
file be8d4a7b4e294d92ca2a1bcd8f0f429d28de845e chash=e438c4c79cada58c492973087fea878eb8b7b0e5 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/overview-frame.html pkg.csize=622 pkg.size=2011
file 4931aa74d704c3e5bfd11e559c85dae4f4be53b6 chash=b06d5926a411599f5faced0e19d0e5dd7ed7b442 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/overview-summary.html pkg.csize=1993 pkg.size=7676
file 5e69426ae59548bf6b1731d2b5d2cd107b808362 chash=82c8219b90ec030d13ae4a380b8cb1c81f92c1b5 facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/overview-tree.html pkg.csize=4325 pkg.size=39992
file 6986f588e617d595292445e667b9af77fbdb4a88 chash=7cb4e070e4e045cad3e7abb9938bd1115145c670 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/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/kodkod/api/script.js pkg.csize=372 pkg.size=827
file 27c4d85e229be75cecbcfc02095f20dbbf9204c5 chash=9c9426e756308f6ebce14238f3764d9b6049513d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/serialized-form.html pkg.csize=1811 pkg.size=8701
file 91c04c57a78aec2dca09627d8bc857f502e6a122 chash=52a3bf1caf77472454a223f40c0fde8d2765627d facet.doc.html=true group=bin mode=0444 owner=bin path=local/usr/share/doc/java/kodkod/api/stylesheet.css pkg.csize=2740 pkg.size=12842
dir group=bin mode=0755 owner=bin path=local/usr/share/java/kodkod
dir group=bin mode=0755 owner=bin path=local/usr/share/java/kodkod/lib
file 647b852c5a1373100284649c6c45c0cd75605dab chash=5d71b821a695d49a034037d3aeeafe2c4c2dca8f group=bin mode=0444 owner=bin path=local/usr/share/java/kodkod/lib/kodkod.jar pkg.csize=412957 pkg.size=465147
file 32576c65bca4c98cf48be260ecad1a15bffd6b65 chash=da075c8f667e901fe15076dc6dd8d1a8820fe541 elfarch=i386 elfbits=64 elfhash=25f034a6d4b5812a37b81a6122dece7e4556e217 group=bin mode=0755 owner=bin path=local/usr/share/java/kodkod/lib/libcryptominisat.so pkg.csize=279405 pkg.size=644312
file 72065000d58d23a70b32722a4e55d7c11e80fcaf chash=c84df8024be1d3ce3289e64a623a8386b52c6249 elfarch=i386 elfbits=64 elfhash=4c8d300b4691a1c15e47a56212bf5894010a3c84 group=bin mode=0755 owner=bin path=local/usr/share/java/kodkod/lib/liblingeling.so pkg.csize=227595 pkg.size=710800
file b263dac2cfb24944e9e5901584fb98c67e3414f7 chash=0d3b684d75b1ccef6515ee726ade076feb1a92ec elfarch=i386 elfbits=64 elfhash=7f8d0f721bb5f098f4bc1928bc5475ac3268c504 group=bin mode=0755 owner=bin path=local/usr/share/java/kodkod/lib/libminisat.so pkg.csize=33841 pkg.size=79648
file b1932c8a8d60c63fe4446ebe710861cff0a8672b chash=bf62754ef20bf21cb26b1ad4d27075f09de84694 elfarch=i386 elfbits=64 elfhash=525a23f5c2d28c061e83ecc3eb25c76350512830 group=bin mode=0755 owner=bin path=local/usr/share/java/kodkod/lib/libminisat1.14.so pkg.csize=20261 pkg.size=44376
file 447d553d0c9d8a7f3d02e88feb68fe2a533d472a chash=42837d98319425c7c97d8e2eb8077901312aeae6 elfarch=i386 elfbits=64 elfhash=1cd5ae05afe2ba2fd5d604ad032d14bf5784a62d group=bin mode=0755 owner=bin path=local/usr/share/java/kodkod/lib/libminisatprover.so pkg.csize=30221 pkg.size=70520
file 13f4294d9fc8fc14c20a1fb744649a3439c7d255 chash=1dcd0302f0cd4600e18db9366d79ff7fa29c1659 elfarch=i386 elfbits=64 elfhash=e6553e2e526c4656709fb7194708f97570a66420 group=bin mode=0755 owner=bin path=local/usr/share/java/kodkod/lib/libzchaffmincost.so pkg.csize=52269 pkg.size=120992
file 2554e5be8b2a14956fa312892e0631367f486ba1 chash=d3b8c69e99c00384a0a07ffdcf59ff553a9cb878 elfarch=i386 elfbits=64 elfhash=64f9d8b2bee411738aae01ac2f39eb6eaa46dd45 group=bin mode=0755 owner=bin path=local/usr/share/java/kodkod/lib/plingeling pkg.csize=239241 pkg.size=741688
file 58c7f70882f4ab1870b0a25c2bcf33e22ceac60a chash=dee3c4da113b565e9b83888042ac529aa0a67007 group=bin mode=0444 owner=bin path=local/usr/share/java/kodkod/lib/sat4j-core-v20110329.jar pkg.csize=174183 pkg.size=195128
dir facet.devel=true group=bin mode=0755 owner=bin path=local/usr/share/java/kodkod/src
file 2e7c1ad57c7cbc512c0fa2908b92f408b11ee63d chash=dab266b614632a1434dfe4873eb198b1c23ff58f facet.devel=true group=bin mode=0444 owner=bin path=local/usr/share/java/kodkod/src/kodkod-src.jar pkg.csize=422543 pkg.size=442432
legacy arch=i386 category=develop,application desc="see: pkg info library/java/kodkod" name="Relational logic solver Kodkod" pkg=LNFkodkod version=1.5.2
license 2b44bdcf6653c44cb83070ecfc3f62945a1318b7 chash=8a10de0565180b02e5a882ee4e63786a1747959c license=LNFkodkod.copyright pkg.csize=59 pkg.size=39
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-6 fmri=pkg:/runtime/java/jre-7 fmri=pkg:/runtime/java/jre-8 fmri=pkg:/runtime/jre type=require-any