model_checker/README.md,sha256=2kwdqJf9dgOsWIlmtWWOsB6i2NBhrroMZN1aB3VvNfk,12145
model_checker/__init__.py,sha256=IR_vcM7_9JhJXEKqwbgRus0LXWW1HBH1ykKuMrtr-KQ,3273
model_checker/__main__.py,sha256=iTIbmGaepAln-OcbhlMRQ-xFZXZJYS3QFTODZWkIeRc,8839
model_checker/cli.py,sha256=MHXZY7THhdHeId5vTD6torWSXJ0j3VBYLMt6I6ufAeQ,2200
model_checker/model.py,sha256=7GTMeH1tF5whsdt4T6uDB1Qu6fDbYFZqfy5S-SOf7yI,51643
model_checker/syntactic.py,sha256=ZfI7bgQvCjmN7venC5dq6Qb9Nk4p23ohQDEZ_zeBGYg,41447
model_checker/utils.py,sha256=4oUS6Chy3C5u32Gg7zLea13UeVikdTpBBE-9P05cQZg,21270
model_checker/builder/README.md,sha256=2j29Vf8LthU8uhLyyO-YA8spJURGGYIrXKtyvbuy6VE,4191
model_checker/builder/__init__.py,sha256=FzOjsLTRCzVZdodOtsb1jgTt9p7C0u8NGBE8L30FmeI,1357
model_checker/builder/example.py,sha256=tMqxsNegyFlOqBod1w1fKiapEChffyEYg6HOgdF6Y9A,11420
model_checker/builder/graph_utils.py,sha256=cLMDgxQySS_Rejiyz5EpiiY42XjoBenBriTClhz-WCw,13915
model_checker/builder/iterate.py,sha256=reJy1r-KmfO2_VLiIAk1QrsjFekoR8WOS6veb3-uhy0,55264
model_checker/builder/module.py,sha256=oEGlPH_42qjY0JpetcG1TtnfJPwKdeZInSBwcxXptrM,23103
model_checker/builder/progress.py,sha256=b5qcFxaWQ__ujxL4Iz0qVkR1pnfQPxTXmI06tF4ufEg,1849
model_checker/builder/project.py,sha256=zwuYxCT60RAb30TTF2iLXiAakxhBh4ATJu4rEzHNxog,13653
model_checker/builder/validation.py,sha256=BMz-b-DCRva9bjFQ-pST89v-wf2x_X1im_jla-B-sAE,3901
model_checker/builder/z3_utils.py,sha256=7FZ0iXNbhTgQKgG5yx88bE8BHfQ2v395KMfTmSz8jAU,3662
model_checker/builder/notes/compare.md,sha256=0kvxEEQy2-WeZtJzns1wWHr4DaDgd9loJ1VdGDxZFBo,8445
model_checker/builder/notes/constraints.md,sha256=cIHLqr6f6l6nbe3z_igxI8X326nA6kMffpc3UE86rtI,9661
model_checker/builder/notes/debug.md,sha256=bBsSmfwdcHxV93xloALXWzY0ZSq0E6TyfXY7iIxg8eE,5041
model_checker/builder/notes/difference.md,sha256=kHBaufCRz_bzWkhOJZlPu5ljdHOj8nT_cd6j8GGGoVg,20241
model_checker/builder/notes/display.md,sha256=DLsXBCGVkIOruf8vaFNwnmOypOb6XuS4ZTGqp3m-kf0,32540
model_checker/builder/notes/fix.md,sha256=uLvgW2xuy-qSurA6oef_thJwYdiKJAaZz2dhE3StFT0,12269
model_checker/builder/notes/isomorphism.md,sha256=1FT028zlh-00wBlEd89JdpUFKGIAeb_cqenxWm6ZEYw,6638
model_checker/builder/notes/iterate.md,sha256=2uVplF1ERdyFHNxayKfcPN0dIAk8xlYTe6MsbnFfjck,16673
model_checker/builder/notes/plan.md,sha256=QyKBT3fmCeVh3R3hSKy40MqzvmDShqXtE1tIDCIcV-c,6794
model_checker/builder/notes/print.md,sha256=H0mHt0lKlq48iVrAga8D3SRMWmR1wiwBQ-rqvG6n5ao,16223
model_checker/builder/tests/__init__.py,sha256=jqTaaHaMx1hj1lwweI8_eiYfFmYrMdkpMEUKEiQqa8I,42
model_checker/builder/tests/test_example.py,sha256=EBgky2zATkq38SmWwDB_QwTiY4D3Pyl1seu_X2H1ZXc,1049
model_checker/builder/tests/test_graph_utils.py,sha256=Gf6r--9eXqeQN71JxKcaNoVaMZTgOGH4kYiySDc_ack,4991
model_checker/builder/tests/test_iterate.py,sha256=uYbA4ZxkSHyLVWaHNsP74S_5EA2SkdvvNBueuhkG3ic,16483
model_checker/builder/tests/test_module.py,sha256=zt0NuJ4V1rMUx93aAPqDG0-sk2GW-PLwi63rSaXIAcM,683
model_checker/builder/tests/test_progress.py,sha256=wbfZ9y-isJSHzfjMT0cqi8LjDvbtphGVUfJzO_2SEhk,1751
model_checker/builder/tests/test_project.py,sha256=gprP4JMnxlq_uRze5cldmDtCDvFCGCzdvPg768v3uyY,890
model_checker/builder/tests/test_validation.py,sha256=2hviZi9c_EgfX6TY1GNqiQ0f9PEr2V5Eonfz-TSK6Dc,7106
model_checker/builder/tests/test_version.py,sha256=CM6-uou540hFQbx6pRQX7iwpCnFF7Le4Bx79JQRd9DY,1401
model_checker/builder/tests/test_z3_utils.py,sha256=CsyI_ut43djtTmcqyfe9DESvSiYpZb4z1I5zVJsx8bw,3695
model_checker/jupyter/NixOS_jupyter.md,sha256=FKz-440mlKjsOQBPcWDGeAbRLsFdGFCaZ4I3W2mrcIg,5911
model_checker/jupyter/README.md,sha256=0MfDFEWOXzLyj_DsUhecS5dqhaM15lr6_z-oKjaSRfk,17819
model_checker/jupyter/TROUBLESHOOTING.md,sha256=8TCwaecsr4uU_NEgjv48iwBgrJNUQdzcBFziNz8EF9I,7119
model_checker/jupyter/__init__.py,sha256=oLrVTY_uv4BydtXyZAlkrT-FMIzHTxLU0zHYpjdfXzY,3406
model_checker/jupyter/adapters.py,sha256=jsdND_ZMeDR3twt5nOysRRe3xaJr81t4de03rOVOb_g,11660
model_checker/jupyter/display.py,sha256=RZ44MU2KTPgQ9HMieSkLc1rY0rfq-OeDnlzbEq9hVTM,15108
model_checker/jupyter/environment.py,sha256=WzQwEh8eY0XtDsVEUbv-W6Ih47LBXl2pEK-9v6FX_qc,9945
model_checker/jupyter/interactive.py,sha256=-uSjGfNoNZtf1pWYgo_8fvB6jq3U_FRkU-kEUbjhZTA,24469
model_checker/jupyter/unicode.py,sha256=98H6M9pCYqPOmyq8Cr4hJFA34cehTZRrnZUhkbjebfI,9208
model_checker/jupyter/utils.py,sha256=tdaGz6evDt_3MzuS_4caK__JJj6zTS-JgjxCthknBE0,5919
model_checker/jupyter/.ipynb_checkpoints/Champollion_demo-checkpoint.ipynb,sha256=MZBU2EoUK1rmjlri0DUjb0Yco9moG7kfhqtiTN_yAqs,12395
model_checker/jupyter/.ipynb_checkpoints/champollion_demo-checkpoint.ipynb,sha256=MZBU2EoUK1rmjlri0DUjb0Yco9moG7kfhqtiTN_yAqs,12395
model_checker/jupyter/.ipynb_checkpoints/demo_notebook-checkpoint.ipynb,sha256=RCQjFDAT_Q4_Nx1V1_jbQ4sZOKW4KPeQT2Q5__pa4F8,7083
model_checker/jupyter/.ipynb_checkpoints/demo_notebook_fixed-checkpoint.ipynb,sha256=Ta0sL1Lyq4grZ4R1ZavYS2AWC_09I8npu2z7nhRB2F0,5068
model_checker/jupyter/.ipynb_checkpoints/exclusion_demo-checkpoint.ipynb,sha256=_iMGBadbZs2nntTS9uYSp06o8gjcM3nlixI2o8DJ0_0,11067
model_checker/jupyter/.ipynb_checkpoints/original_champollion_demo-checkpoint.ipynb,sha256=p62IL5UOWcDkf5ugWJ_1mLdWNckoNHrzAlIhvLXAOlM,91506
model_checker/jupyter/debug/DEBUGGING.md,sha256=JmrDblMC7PkG2oUXQDwocFCDsLc4MqZgaH-eJB1UnwY,30182
model_checker/jupyter/debug/README.md,sha256=5YERf8YrhxLULkF-Pjyam2TLUuQW7oaS0Ayu1DgpCh8,2063
model_checker/jupyter/debug/debug_error_capture.py,sha256=MaBHTaEGb80o9NntwgxKyO561V2xWCmShwIcGgcE9Wk,8896
model_checker/jupyter/debug/debug_notebook.py,sha256=_IaHzZACD1j1Zf6B1ay089NHDZRKGartpKvNGOWDuGo,4853
model_checker/jupyter/debug/fix_jupyter_integration.py,sha256=DXIRZN7ExxpKFyvdgXdc44db4AHnuPt6wCW9s5ChpCY,14316
model_checker/jupyter/debug/jupyter_test.py,sha256=AnJ3aRz3FnSTDehxCCbATlijbpoYMpOKb1b5FSeBvLw,5750
model_checker/jupyter/debug/.ipynb_checkpoints/demo_notebook-checkpoint.ipynb,sha256=P4DWGdvzB4Xw7p8zca_5kGF11eRB8DP5Xwmsfmo3GEk,21706
model_checker/jupyter/debug/.ipynb_checkpoints/demo_notebook_fixed-checkpoint.ipynb,sha256=tCtNtCQc8se37_XfoO9yS8iG7WkRYYx8MG1aO16ulcc,16875
model_checker/jupyter/debug/.ipynb_checkpoints/simple_test-checkpoint.ipynb,sha256=ekEHC3Mrnp3nf4wJAuKsHlzBJMqb1weqVcSNjLLIvSY,4847
model_checker/jupyter/notebooks/basic_demo.ipynb,sha256=hC-tCZ4UouYCuJxyGomyDHzJfKR7R-Z2hIeQNDGazIo,8842
model_checker/jupyter/notebooks/options_demo.ipynb,sha256=MzA1yAf_Wffw789ZeFfPQwmGRYz-Em2k8m1lESszQTE,25165
model_checker/jupyter/notebooks/.ipynb_checkpoints/options_demo-checkpoint.ipynb,sha256=CrKMSx_O6EDs0QYXyaK1siBOPf4A3eR75l72434vcD0,23279
model_checker/notes/MODULE_LOADING.md,sha256=AHPa2wZ8g2HgXKJXI1Qm8TGmk2pCTosbDvgbKO_orI4,2839
model_checker/notes/builder.md,sha256=xSJSdkQlkd9Xanm1aL-_SCZwvOrsrRtK5GQThXHd9Ak,7973
model_checker/notes/contingent.md,sha256=etaCVbw1-QY4LxmcbAcx9mSgMC_wBjEpaQjPxH1AUR0,5881
model_checker/notes/extend_jupyter.md,sha256=RPOMze2tUaamRtbZjikg_x9wCB6DoWTOfcBmpGlXwrM,7318
model_checker/notes/imports.md,sha256=pYDsOjavr4rmhBaD9tLxwNnFF_mE3H1NmJzBBrIMaJ8,5409
model_checker/notes/jupyter.md,sha256=PpsLI--FCzA1hWCs4xtCnz6g_IeF9GAaJCGXjzDmml8,27922
model_checker/notes/refactor_API.md,sha256=4Xi1VKoYxDhM7gMghuxZYw0J8DXfG_IWGK-vpZBjzdk,13143
model_checker/notes/settings.md,sha256=hB-eXchaXoIRQ_qke6KFnWNdbSQ5oJkC6mSIc7zYfSU,16608
model_checker/notes/testing.md,sha256=-4IxNQs5QKsESW975I_SPp5fmGZthOWgHUfDDbOsMTI,41792
model_checker/settings/README.md,sha256=ktnlgW63YKB78PJjxe2RT3T_7C3BYTIEnq9OffhhEOY,11080
model_checker/settings/__init__.py,sha256=t0PnWYVCWpBLQdWx8U0IA1y2GpGqfQSOi7Cx98-6g-Y,343
model_checker/settings/settings.py,sha256=3LN7MXZPy4axqDV3RwzkYY16DhltqrjDF-2WK-tZQUk,9440
model_checker/settings/tests/__init__.py,sha256=RpWSMop6Rvb1smslFldascA4Gao3Ws3rejuQe_1ZXXQ,43
model_checker/settings/tests/test_settings.py,sha256=hfJOnHxJSHl3DTg7jQry0iZqehByLa5Pk9SP9nEu1Mk,3573
model_checker/settings/tests/test_settings_pipeline.py,sha256=NjXjdbPiwXPPNxw8R0fQfpR5wMv3TkPfY6qz1gP7HUQ,3860
model_checker/theory_lib/README.md,sha256=BtshbYUw9OEDiDQlf0fKSo4kiGZtYaU9i4HX1ytcGIM,15294
model_checker/theory_lib/__init__.py,sha256=6gFu_O8BOqnYWPtNvTRZUF5nM0lAGE1S_NxQZpy6V-0,8572
model_checker/theory_lib/bimodal/README.md,sha256=TKRFW9OniNsGG2AA3p7GvV2Ovi2s6nEPwoSCWyWvhow,26431
model_checker/theory_lib/bimodal/__init__.py,sha256=AXHh0zriqK3QFQ2iFXN5ECRjw58tjvZfPrDf_7pgUW8,2265
model_checker/theory_lib/bimodal/examples.py,sha256=Lf5sGWgdqFBvHL0Ur7v5rGSFDQoADinnPz5ynBwvvVw,12640
model_checker/theory_lib/bimodal/operators.py,sha256=YfZl6sGr-Libmt1uCNfCVdDb9CT5jxxbpPXWId6DLUA,41591
model_checker/theory_lib/bimodal/semantic.py,sha256=mqBiYMXtNNxaDWlYndDLkUB29qSewOOPxgfiUgbrEAU,94386
model_checker/theory_lib/bimodal/notes/ABUNDANCE.md,sha256=L9Q3qQJIrv4bHsDaYmmSlBLKUk1HiC-aQ8O6mBqHNOM,39741
model_checker/theory_lib/bimodal/notes/ALIGN.md,sha256=OhD3Zprl39cANve5RZ75jVNtHa46iFMwFkNkoJhSUOk,15491
model_checker/theory_lib/bimodal/test/README.md,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
model_checker/theory_lib/bimodal/test/test_bimodal.py,sha256=xhx9h91-XYCgq1WZU-_yOaSup3g9bOHdx9zcrpJcxzk,1517
model_checker/theory_lib/default/README.md,sha256=cTgeBBEzwLnGwuanQpa5EZJbyne4YouW2ulmCDaPaWY,15980
model_checker/theory_lib/default/__init__.py,sha256=yfOd-BayzUD-GnUflZTYrHr05l56HifpjkQttvi2AwI,2085
model_checker/theory_lib/default/examples.py,sha256=YGPidwaDTuSUqk09z_4Dz4uTFAOCK_CZZzb5zzNqZSM,30967
model_checker/theory_lib/default/operators.py,sha256=rnoAX6vuhFD63DNIMx4iMwp_mxSCHrTs-aP164vhleI,107525
model_checker/theory_lib/default/semantic.py,sha256=coujey8OOD9sqrIohdv7O3iu6eKZkE2AQB79fl5UUhc,73496
model_checker/theory_lib/default/notebooks/README.md,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
model_checker/theory_lib/default/notebooks/default_demo.ipynb,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
model_checker/theory_lib/default/test/test_default.py,sha256=JEuvgqdS8iBcwJjkMV0k9H3pcZoo6CUWsgR-oELN1ZY,1273
model_checker/theory_lib/exclusion/README.md,sha256=HImn6pvOYbtEiP5Zm6eUWu9slynAWVnpHJ91_H-_q24,9000
model_checker/theory_lib/exclusion/__init__.py,sha256=X8BCArSBXUZlFVdeIxKOgsUC2HILMqHTyX_J34Oh25Q,2290
model_checker/theory_lib/exclusion/examples.py,sha256=FjF9cgv8b01xIeoCHqrvNtfblMZ2KZRK3bWVwkNHeQk,23730
model_checker/theory_lib/exclusion/operators.py,sha256=qre4nBBBU4z0sH5woImW_P8kpLWI6Hf9T344-KbSJ5c,8649
model_checker/theory_lib/exclusion/semantic.py,sha256=4BRq7BZhMIdWZg2eyRjel6-8rmG8MKI57fUwLJcO56Y,32154
model_checker/theory_lib/exclusion/notebooks/exclusion_demo.ipynb,sha256=U2Q8llvto9jlcne0mgUQjx7FRPP76VIgr2cf7lEH8jM,12276
model_checker/theory_lib/exclusion/notebooks/.ipynb_checkpoints/exclusion_demo-checkpoint.ipynb,sha256=U2Q8llvto9jlcne0mgUQjx7FRPP76VIgr2cf7lEH8jM,12276
model_checker/theory_lib/exclusion/test/test_exclusion.py,sha256=gGQQd6AAsuTlBPbhcdk88E2akHGiCOCPntCdHtz98so,1361
model_checker/theory_lib/imposition/README.md,sha256=3pSKE1BAngqSELit89ZRD5KIdfzYPabXG03nIY_yI7U,1226
model_checker/theory_lib/imposition/__init__.py,sha256=jGXBr7sdPHUP7upIQ_oXdejlDkf2Xu1Efitby_YBls4,1777
model_checker/theory_lib/imposition/examples.py,sha256=n0N3gFzuSOPBXbZYkFp6wZvTkC8jF0yShZcODo0dvbo,23251
model_checker/theory_lib/imposition/operators.py,sha256=dWXC-_N_pSg1wIqkz5iyBUkhvkcuHyqg4DXP6vuH5_A,4581
model_checker/theory_lib/imposition/semantic.py,sha256=0_QfK3Zb0Sn-a9KsNpJ6qO7FErzqEaNMX3CHfxvMDHw,7293
model_checker/theory_lib/imposition/test/test_imposition.py,sha256=dVGofyim2zD6CIhbJJ_KQUGh0yiImOVBUW-ppEDmP10,1380
model_checker/theory_lib/old_test/README.md,sha256=6HqtXN_GPsfUInMqxfOXqVE-vyNMIPD6h_qYBFNginQ,129
model_checker/theory_lib/old_test/__init__.py,sha256=1cu8qjeB6J5uOM_dMmvyI0ZgXzJuLGJkSH5dT1b1pRA,687
model_checker/theory_lib/old_test/t_champollion.py,sha256=0bqxdfHZd0_EdbLW3YQrFP_FL0SavOc3qixY5ijrryY,2713
model_checker/theory_lib/old_test/t_constitutive.py,sha256=OWcuV0U0pfWMGl5nQzgPrbQ0Cumc_IucXm9kYyrW56A,29160
model_checker/theory_lib/old_test/t_defined.py,sha256=d-X9_Hxg3esTXvFz0uu21i38H9yKpapGw7bZCyW-EtM,9934
model_checker/theory_lib/old_test/t_extensional.py,sha256=OYg85eXbLU4IZNpOTNDn_5g-tLqlobJiLgvQ4tk3cXU,3613
model_checker/theory_lib/old_test/t_imposition.py,sha256=i72EDMgT8mc-8p4Oq0l9GVOe8MPe-oBdyAN7ZGmaU94,20095
model_checker/theory_lib/old_test/t_modals.py,sha256=M4NsxUVx-WdtSRzPe0a78dsutoPGyHR4hVIFRWaOFqM,10380
model_checker/theory_lib/old_test/t_relevance.py,sha256=ex-bV2A7_DHBzP0Kv_bkckKAxeW5vzIuQ4HpAEOSl5g,12511
model_checker/theory_lib/old_test/utils.py,sha256=vQN2IdALxAqR_MINPzPcS2lhOv9BcFi5n9msG3ymtSs,1797
model_checker-0.9.9.dist-info/licenses/LICENCE,sha256=1b7pP-AWYWwdmQvnAd2F4oWWP2zuFwBk4fFju8Jnm94,1064
model_checker-0.9.9.dist-info/METADATA,sha256=mTsgbM9xyK-em23_9zuOkSdEEMy6uJsd_BwsgX1hb_0,18749
model_checker-0.9.9.dist-info/WHEEL,sha256=CmyFI0kx5cdEMTLiONQRbGQwjIoR1aIYB7eCAQ4KPJ0,91
model_checker-0.9.9.dist-info/entry_points.txt,sha256=7hlkKi4UXiTnhucfBZugwRlQDPLqaOXAgHIY21Ca70o,61
model_checker-0.9.9.dist-info/top_level.txt,sha256=wjZ8SBeyvIK85NCrssYEy88PzhZ47jiLRpE01-_gG9U,14
model_checker-0.9.9.dist-info/RECORD,,
