datalog_conformance/__init__.py,sha256=OUGAt-Kg16ROe11va9njdZ4c3JPqvzfc3fGf3d6kQK4,607
datalog_conformance/corpus_audit.py,sha256=yOO5-1tsX8rc_dI-MZCiF234ZcvB436abA9bxcx1DfY,4047
datalog_conformance/depysible_strategies.py,sha256=DqDnWASqwTnAIHwb0J2NUUgJM1hemt7-g2eXK_HcizY,5117
datalog_conformance/plugin.py,sha256=4fE36FsMQGDwZZztKwHWHCHO29bGIhs4_zxlqZuG4M8,4578
datalog_conformance/protocol.py,sha256=AM7fXdYeLWmskmb9X6SHYBhoxbvwu5tVqL3i_HJoWNY,594
datalog_conformance/runner.py,sha256=Etrg0O5YxaIk-QUcAT7vAYB4lNF9ioqoz1V0gXZYq-E,9274
datalog_conformance/schema.py,sha256=37F3sPYgd3XT_9r162-dw2VoCneSes6DtBd8vL_k4B8,14446
datalog_conformance/strategies.py,sha256=DkKywAHnNM_-V8LoBHelfjVzfj1MuNQFFet_MPCXSfI,8256
datalog_conformance/_tests/basic/facts.yaml,sha256=LxYLQqDuMDmu0tAda905qVBQ_q-sKG8_ChkTCm34Poc,315
datalog_conformance/_tests/basic/joins.yaml,sha256=drLCnmXSDoObx6Qz-GukUrOYTGZan_tGkf7HwV4i2AM,449
datalog_conformance/_tests/basic/nemo_join.yaml,sha256=vuoN0LXrq76DqXKdal6GwwURAw5pnNHe7-F1HlIO2P4,1934
datalog_conformance/_tests/basic/nemo_projection.yaml,sha256=4ec4ydjFs6GlyJGuEv11VFNVDn2L1ijgQ2121XOUApM,2075
datalog_conformance/_tests/basic/nemo_union.yaml,sha256=udcwno6A0cd3yvHH50t45bUZE3asnSgZ-u7CKHqvhNo,2159
datalog_conformance/_tests/basic/review_v2_parser_identity.yaml,sha256=ztYlaUqdFtdxyUu4wKI-U7CIk4mQ02xQGYpXQtSKZSM,916
datalog_conformance/_tests/basic/souffle_evaluation_facts.yaml,sha256=7e_iQlPWsUBzrg__GlMoKmzDgdArvJ9GFTdD9aZW9wA,409
datalog_conformance/_tests/basic/souffle_evaluation_plus.yaml,sha256=c2mr2y2XAUcoxtLz_oDZOXktnFe7_AW5MbKfchAcDvY,558
datalog_conformance/_tests/basic/souffle_evaluation_relop.yaml,sha256=yAVnEMlOu_IUB2p5p5GY5WL-poumuHZX5Ff208m8Lr4,1278
datalog_conformance/_tests/basic/souffle_example_po3.yaml,sha256=Ka9dTdUlrjcnS9OrkEreb33Aw_7MTWBPdvcM_V6OpPY,174351
datalog_conformance/_tests/basic/souffle_example_po4.yaml,sha256=BIDsighFaZhxlFPXda0K4y0JOTPtEODR2BuEWvBRn2M,172979
datalog_conformance/_tests/basic/souffle_example_po5.yaml,sha256=Rv67gHH3P8a-0xw4cO-wk6gGEndT7zkw3D5izIxkPQc,174352
datalog_conformance/_tests/basic/souffle_example_ranpo.yaml,sha256=qk6bNtYL1tq70nq6f8EnSVgCut_tmfhQtZCvTXzBOHU,172768
datalog_conformance/_tests/basic/souffle_example_ship.yaml,sha256=81OLBAGvqKVeuEiRum9t-67pGONmTjoRipIgp9uimt0,1782
datalog_conformance/_tests/defeasible/ambiguity/antoniou_basic_ambiguity.yaml,sha256=y1BGmG-NgsRihWhUNVyqw3W9ka7TH2nVryBr86mJ15o,2466
datalog_conformance/_tests/defeasible/basic/bozzato_example1_bob.yaml,sha256=HN_IcXSWmuHTcEUCMd3liEoeY4nk5BEiRlvxZoljpNg,2834
datalog_conformance/_tests/defeasible/basic/depysible_birds.yaml,sha256=moFUHTSreNo2Lv2cUtob9ASnLxNpmevjCM85Btt3mu0,12137
datalog_conformance/_tests/defeasible/basic/goldszmidt_example1_nixon.yaml,sha256=oV_WLcs4jltT_gIgyfDeT8zYVdasiExH44Aq_TPBTmQ,2900
datalog_conformance/_tests/defeasible/basic/mixed.yaml,sha256=CrDJ_rzKJsphU4NIbxptFPWhrMRelB4h4RApjdaU2uc,568
datalog_conformance/_tests/defeasible/basic/morris_example5_birds.yaml,sha256=KS9OxWYXMG260KzT1N4S1mHj4aAAIrZkiwB4nrPfM08,1764
datalog_conformance/_tests/defeasible/basic/spindle_racket_inline_tests.yaml,sha256=Hlu3qVNYHTvIdW7Onp8GJC8n-7UREXjP08Skq8Q58wA,7921
datalog_conformance/_tests/defeasible/basic/spindle_racket_query_integration.yaml,sha256=18PWJ4RdR-lj0JV5eSzZuSA4Z7_6wkvtxdFuvMOtwJg,6399
datalog_conformance/_tests/defeasible/basic/spindle_racket_query_tests.yaml,sha256=YE2OnOfXe8xTOtUmuVqajq4488eqEnk1bUvjEqIMkTM,4031
datalog_conformance/_tests/defeasible/basic/spindle_racket_test_theories.yaml,sha256=eCtgAkMiaIqqs7TLm65XCQz12V5_laa5MMpdTwuoepY,9037
datalog_conformance/_tests/defeasible/closure/morris_core_examples.yaml,sha256=dLhW2y8p0MJy1B8K2DcjE2gw7O6TfkQBoNVQffVjZsY,2736
datalog_conformance/_tests/defeasible/klm/morris_relevant_counterexamples.yaml,sha256=4RWK2g_sPMf_QWL-o9c_rmT9jpb_OGVFeAnMQYWe8RE,1682
datalog_conformance/_tests/defeasible/strict_only/strict_only_basic_facts.yaml,sha256=l9S3BdfXivReW-fsjaMSqBt9mYI7b9R332PWXN95oTA,590
datalog_conformance/_tests/defeasible/strict_only/strict_only_basic_joins.yaml,sha256=iP2eeQyLJ8dSySEW5xmCpYKIXoGhZVw3nXRB-qwEvGo,767
datalog_conformance/_tests/defeasible/strict_only/strict_only_basic_nemo_join.yaml,sha256=B8MwJKWlnlwTXZIGiOFKkI7rIQhIOrP6HjJI8n1ekq0,3465
datalog_conformance/_tests/defeasible/strict_only/strict_only_basic_nemo_projection.yaml,sha256=pz1Vabsdg4VJ3PIvg8-6WSTgpyaO6HqxhQdHJENCN1I,4697
datalog_conformance/_tests/defeasible/strict_only/strict_only_basic_nemo_union.yaml,sha256=h8W-vOtH4ah_Jp1ubDYE_Q_unFjelxwBhoG-_HsA8A8,3290
datalog_conformance/_tests/defeasible/strict_only/strict_only_basic_souffle_evaluation_facts.yaml,sha256=lf43YNWdkK0Tnj0-lGUFtY2UI7qwOJdwHZD_5IirAvQ,595
datalog_conformance/_tests/defeasible/strict_only/strict_only_basic_souffle_evaluation_plus.yaml,sha256=OSc7zdylXlN4wL_mc-CZvHkwvHoQkGL08_61r2vdZXk,780
datalog_conformance/_tests/defeasible/strict_only/strict_only_basic_souffle_evaluation_relop.yaml,sha256=Z2Wa-TEkkrKIUcH0x1qdqzdGtLgOUsIwlkjvIkhVQsM,2515
datalog_conformance/_tests/defeasible/strict_only/strict_only_basic_souffle_example_po3.yaml,sha256=l1N39ij_b2zHvBYE-g6XRK66WcI7wUnTaL-4wVvL-jE,175666
datalog_conformance/_tests/defeasible/strict_only/strict_only_basic_souffle_example_po4.yaml,sha256=V5vUWGF2dm-iChNDvzZSHZe0aYpfmZFFEmCpTlWUwm8,173849
datalog_conformance/_tests/defeasible/strict_only/strict_only_basic_souffle_example_po5.yaml,sha256=4WeHO-TL_cFrb1Zwu8ZZ7UkehZQ0qPZz94hqW4akz4o,175667
datalog_conformance/_tests/defeasible/strict_only/strict_only_basic_souffle_example_ranpo.yaml,sha256=l66Ls3bhFfLZ-pGHXPlbl2gocVjRqPYURx0rCfRs7iI,173595
datalog_conformance/_tests/defeasible/strict_only/strict_only_basic_souffle_example_ship.yaml,sha256=qYfSAdU_w65NA1elZP0ZLta94bh9pgHEVzc6qfZ7e-I,2532
datalog_conformance/_tests/defeasible/strict_only/strict_only_negation_nemo_negation.yaml,sha256=qclVcVJFsJ6nMKgpqWVs1jPo9MsEyAg2mRUPcTQYPww,34729
datalog_conformance/_tests/defeasible/strict_only/strict_only_negation_souffle_evaluation_access1.yaml,sha256=2cr7PTDswR8xra_bU4IdJliL6_jGtluDdFKThz9mHmc,339125
datalog_conformance/_tests/defeasible/strict_only/strict_only_negation_souffle_evaluation_neg1.yaml,sha256=3OY4YwZYe7z7cKEKp6_PlscdKNb-DYMQySUJtWTlYWk,808
datalog_conformance/_tests/defeasible/strict_only/strict_only_negation_souffle_evaluation_neg2.yaml,sha256=T1XqD16VtNVyP1y1rfS9Y5z2KwUO2hDEOHP8g4gXBCQ,1477
datalog_conformance/_tests/defeasible/strict_only/strict_only_negation_souffle_evaluation_neg3.yaml,sha256=6_aWjrxbu6DlrxrJ3kG5ECl5xjnDwt14moLqY-Xv0w4,862
datalog_conformance/_tests/defeasible/strict_only/strict_only_negation_souffle_evaluation_neg4.yaml,sha256=4iJ7zDf2p0lIG1A53NdUEaFAsAvDwCpx2DXrS_EpC4E,1453
datalog_conformance/_tests/defeasible/strict_only/strict_only_negation_souffle_evaluation_neg5.yaml,sha256=aVSP13X3uEieLqZBCm6-mAAbdxJR-XRL69ZX0qlLPcw,864
datalog_conformance/_tests/defeasible/strict_only/strict_only_negation_souffle_evaluation_set_ops_output.yaml,sha256=Q7xRfkQYXQ-o5g4rqRm3v6j1z3dxVQmhpYzc3B-Lf7s,2186
datalog_conformance/_tests/defeasible/strict_only/strict_only_negation_souffle_example_flights.yaml,sha256=aLUStwQe8uZrSpJy0v_k2ZL_NbG9w_aSmR5B0Yf8hTY,1454
datalog_conformance/_tests/defeasible/strict_only/strict_only_negation_souffle_example_game2.yaml,sha256=WMshTlw_i3-JDtBxeeMnR9JAKdJp3RV98UygwaTUozI,3062
datalog_conformance/_tests/defeasible/strict_only/strict_only_negation_souffle_example_orbits.yaml,sha256=Ji5w9G9yzyXMVUE_q_7xXINmNs16o59iyBFry-5nsUw,2091
datalog_conformance/_tests/defeasible/strict_only/strict_only_negation_souffle_example_orbits1.yaml,sha256=M-qgwuFtUsdZzpaOXq52ROYAkRfqAfDYuenm81TpAwc,2659
datalog_conformance/_tests/defeasible/strict_only/strict_only_recursion_souffle_evaluation_minmax.yaml,sha256=evBv-kubttezen38HM6KWfyaq36wd0uWtH4yNXEEWSc,7726
datalog_conformance/_tests/defeasible/strict_only/strict_only_recursion_souffle_evaluation_mrtc.yaml,sha256=slTLI59-anZvqUzErJyGppopJb6Hp6E-76s1TRIEY-U,5322
datalog_conformance/_tests/defeasible/strict_only/strict_only_recursion_souffle_evaluation_x9.yaml,sha256=URPuIizm2lrv0pvvH0l4NqEzEavfcHeHjXL_xfOznzA,819
datalog_conformance/_tests/defeasible/strict_only/strict_only_recursion_souffle_example_clique.yaml,sha256=R7jMKfBX87vEnDOW5SLFeCUzLZxgxCZb1-ZHtQDCWcw,1379
datalog_conformance/_tests/defeasible/strict_only/strict_only_recursion_souffle_example_cliquer.yaml,sha256=LIHQ8mTzGW5GZeCrtNzu7uq8kMnbHnf2uXTpqdwCb0Q,3447
datalog_conformance/_tests/defeasible/strict_only/strict_only_recursion_souffle_example_dfa_live_vars.yaml,sha256=TnRkfuIXB8kQJxC0oZdlvBeuHiouPXArtqVFfyZb9fg,1431
datalog_conformance/_tests/defeasible/strict_only/strict_only_recursion_souffle_example_equal.yaml,sha256=LH5nealP_pGzr_JomNUMi7ZbCHAok9QKQjar13c6720,1299
datalog_conformance/_tests/defeasible/strict_only/strict_only_recursion_souffle_example_grad.yaml,sha256=Qpk-ywQg0UbsNgQZEFXivfIirEVNPr_i2b8J1C_hNc0,3506
datalog_conformance/_tests/defeasible/strict_only/strict_only_recursion_souffle_example_hmmer.yaml,sha256=_hOHrXMUfv9A_6MXqEUcxuN0JF6oQCaFoVtfHzv3-VY,3340790
datalog_conformance/_tests/defeasible/strict_only/strict_only_recursion_souffle_example_lubm.yaml,sha256=y913tKf2tLUPkEoetJgqkDaOuviWEhsZjmzXb5CJEy0,17222338
datalog_conformance/_tests/defeasible/strict_only/strict_only_recursion_souffle_example_prime.yaml,sha256=CQbQ1LpgeiuuS3iD6h9XiZpn6AjPqKjqL3hNP_a3zk8,1646
datalog_conformance/_tests/defeasible/strict_only/strict_only_recursion_souffle_example_puzzle.yaml,sha256=gg7eAivkhhrIJAIh_JIwmoK0U7YJjFsZj72nKOWDe8o,3182
datalog_conformance/_tests/defeasible/strict_only/strict_only_recursion_souffle_example_rsg.yaml,sha256=xi8lWjL3n7vi1jFmIHJjRfl_AYOl3MiWcikfm96C6us,2679
datalog_conformance/_tests/defeasible/strict_only/strict_only_recursion_souffle_example_small.yaml,sha256=QY_3flX0HxewGJ0QvawEeySV1kXx5BdRqHxKUhE9aFw,2098
datalog_conformance/_tests/defeasible/strict_only/strict_only_recursion_souffle_example_tree.yaml,sha256=BuibWeGynNTCtHhrJ7VRhSyMni3ldCqEXy-ipyncHbc,1040
datalog_conformance/_tests/defeasible/strict_only/strict_only_recursion_transitive.yaml,sha256=ykUHb6QBIDjQQkMECws2Y8cYmm9UaAjACCPtLtc41ZI,912
datalog_conformance/_tests/defeasible/superiority/maher_example2_tweety.yaml,sha256=f5s3V05_tJgwRsxFAH6faQXKdzf6-CsmsOsGHY6eEqk,986
datalog_conformance/_tests/defeasible/superiority/maher_example3_freddie_nonflight.yaml,sha256=kOECBC_ovqZ0BMdqKOsAjLVZet8_wUFQuLUhcOa4ftU,929
datalog_conformance/_tests/errors/crepe_invalid_arity.yaml,sha256=p9SkU4x3qRo3s-v1QOHrAZkpgSfWJcaquVw1iFMj_X4,309
datalog_conformance/_tests/errors/crepe_recursive_negation.yaml,sha256=WRsH1Nayvl19Voj86-T7x5rEXmzpGQYXvzs23HmSK3g,262
datalog_conformance/_tests/errors/crepe_unbound_variable.yaml,sha256=PFCmUfn4R5mqhig6GqPCkfHo-NN8XOx7XD0rzh3FPMY,365
datalog_conformance/_tests/errors/crepe_underscore_in_goal.yaml,sha256=UAc8xYaEO6Wk5TwDJwi08mGj-pp_buZCr0pJM-ZeCsk,266
datalog_conformance/_tests/errors/review_v2_unsafe_negation.yaml,sha256=XkCIWh5VdoYY8wil8obzcgIFZX3Cb9daybdWvfuMQ1w,391
datalog_conformance/_tests/errors/unbound_variable.yaml,sha256=OGMQVNmrkswrNM4lTqCaTk7XPgvVh2bWk_Ro32iAhdE,219
datalog_conformance/_tests/negation/nemo_negation.yaml,sha256=7mdIbRGVY2ayDXO299--tdA1gLerYNlIH8ZMwVLsLL8,9797
datalog_conformance/_tests/negation/souffle_evaluation_access1.yaml,sha256=iZxR-1kHSE7pBtpjihajQSqrrMTN-XcouGVwChSNxoo,334444
datalog_conformance/_tests/negation/souffle_evaluation_neg1.yaml,sha256=AfncobOXPhIBBXo35X7oP4d95eikoYlVxF3DQHHhWyA,519
datalog_conformance/_tests/negation/souffle_evaluation_neg2.yaml,sha256=tngV4X-hnusAErMTFY5NFDRbzy7fHK1t3ZfORMJfQWU,822
datalog_conformance/_tests/negation/souffle_evaluation_neg3.yaml,sha256=OWYR9A9gpzHkHdsy-WgwhT89IbZG7ywaPx7_7sE4e3M,569
datalog_conformance/_tests/negation/souffle_evaluation_neg4.yaml,sha256=dccTG_ijHJ34k81xCojFlT5D_B3cQhjYGnzaM6_C7e8,818
datalog_conformance/_tests/negation/souffle_evaluation_neg5.yaml,sha256=Du2rf15TDnCrnRxk6_qyhzAhZRZibVWAm4_9_-Iafi4,571
datalog_conformance/_tests/negation/souffle_evaluation_set_ops_output.yaml,sha256=4YZQEqwdvqt9YgdxqvnXSe4SPfnmz8mP7wxvakpCoZQ,1059
datalog_conformance/_tests/negation/souffle_example_flights.yaml,sha256=Ra0tfMQ8oA3mUBodcRuRVusUe6dlbxIUkoUpRjP4nJI,1078
datalog_conformance/_tests/negation/souffle_example_game2.yaml,sha256=ILzyql2AYjWDimUJGXrimmDqYZqEM1H5I5f1M1SVzdo,1346
datalog_conformance/_tests/negation/souffle_example_orbits.yaml,sha256=qtu5b8LBsbOlMTYo76TDy9kIyO7ZRNEaxM5KD0xsEqA,1076
datalog_conformance/_tests/negation/souffle_example_orbits1.yaml,sha256=P2YYvUXKrJetKsJmNFAHkK6yk3iUl4sGWWV9sDaRRuQ,1320
datalog_conformance/_tests/recursion/souffle_evaluation_minmax.yaml,sha256=qR8lS9jq4cIpXgL_GucN4YYRDakn0v3kZooNzv99js4,5707
datalog_conformance/_tests/recursion/souffle_evaluation_mrtc.yaml,sha256=_EE2bFJCnWjQ8pWq65lEb9Igq1qk-sPrIuotaG3mWYE,1958
datalog_conformance/_tests/recursion/souffle_evaluation_x9.yaml,sha256=D-Tdh0p6pXSomdZnPJ1a9cnIGhV8m7wmATExNOEs1Ho,569
datalog_conformance/_tests/recursion/souffle_example_clique.yaml,sha256=cFrbx0AOb4sN1MUvPF-n_XB-ydgyTKAhMnkGnMa4X2Y,1055
datalog_conformance/_tests/recursion/souffle_example_cliquer.yaml,sha256=6CAymycsdoofdcjyOSP-LWbNEbtgNDC5TRWpi4U3Hf4,2018
datalog_conformance/_tests/recursion/souffle_example_dfa_live_vars.yaml,sha256=hp4k6clz9ePtBTNGMT5GPSM0QUMoh-3Eo3wQt-tZe0M,1090
datalog_conformance/_tests/recursion/souffle_example_equal.yaml,sha256=a9pIz9Nr7IYP1iLTyluf3uLfIgd3omYnDfmw7OvNBm0,1025
datalog_conformance/_tests/recursion/souffle_example_grad.yaml,sha256=Pe9g-WgmsaaaLA4l-RNoLcP4O_qQ3AAexIYF70asYAA,1861
datalog_conformance/_tests/recursion/souffle_example_hmmer.yaml,sha256=1SpHU4sqFs98B3K0CsMufqg5OnknL29-k7lH4-nV92w,3325069
datalog_conformance/_tests/recursion/souffle_example_lubm.yaml,sha256=yAVOoDV9U2-3Srt8sK5DI1H0LqzgFlVbWvB8YgIDoi8,16952536
datalog_conformance/_tests/recursion/souffle_example_prime.yaml,sha256=dNiKCzta2mFA4XaTC40ykF2oOomEZqncI0ROoL8SsFU,1287
datalog_conformance/_tests/recursion/souffle_example_puzzle.yaml,sha256=90t2m27lzb8h_Q7UtFhvtS27B4zXWbnSJ-nXRVSrluU,1892
datalog_conformance/_tests/recursion/souffle_example_rsg.yaml,sha256=BAD4G_pqnFK4tdY9sUFIjBzVUkoqiGa7EmL_BaSdlrE,1712
datalog_conformance/_tests/recursion/souffle_example_small.yaml,sha256=5gK4w6E1Gebl8Vwddu-7CyTUhDImj8aT0xDKugMTh4U,1312
datalog_conformance/_tests/recursion/souffle_example_tree.yaml,sha256=dKtyfdf0KJ35dADF9FnWLH8N8oEyDB3hDRelgQzu9pM,737
datalog_conformance/_tests/recursion/transitive.yaml,sha256=ZQ3KHoTv2Ee0Ssa2kyCth2Bpqq6TQibsDqHKo74XnOk,502
datalog_conformance/examples/__init__.py,sha256=pUFymRRYbXN0EVId-pxjjmPRJ1Llwc6sJToAN68MsRY,57
datalog_conformance/examples/depysible_adapter.py,sha256=vT433tuao1dph6Nd-zh8tfbNCC3np5-W-ZsFAK-qYZ4,4382
datalog_conformance/references/__init__.py,sha256=Dbqo5EJk3npZU9FloXdY85L9JE9NNCh-ycM-Jz6Coa8,151
datalog_conformance/references/closure.py,sha256=TJcr-Wu3nRCEtk06T_N2OBHe_g3dELeFSKzgEJEg_-k,15881
datalog_conformance-0.1.0.dist-info/METADATA,sha256=GPggSxv63f9Q6t8JsDsn_XUQnGOrTQgCi5ThD6-FJ-E,4834
datalog_conformance-0.1.0.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
datalog_conformance-0.1.0.dist-info/entry_points.txt,sha256=cu1sHaXjS3ptRXZH8XMqdUwjWsDwtrI0dv5c1EeNIDQ,60
datalog_conformance-0.1.0.dist-info/licenses/LICENSE,sha256=ESYyLizI0WWtxMeS7rGVcX3ivMezm-HOd5WdeOh-9oU,1056
datalog_conformance-0.1.0.dist-info/RECORD,,
