model_checker/CLAUDE.md,sha256=DQ9p_s92wsVwcGxdninrZNCj84sfwqEj7SM0O8z-d8I,12691
model_checker/README.md,sha256=E2f-CzjvvngyB0JfO8AokzdnbqoPkkJXFDGWOu9Mz18,9897
model_checker/__init__.py,sha256=i2U7ofq0HyfC0dvwqIWPqduYYFmxOeFplc_l8f0R8WM,2322
model_checker/__main__.py,sha256=elxzTbpe2uAqaDpKgXtEOHbPwM78LvNdLInh9bg-HIk,7980
model_checker/builder.py,sha256=rwnXuxY3A4yko9JSn_NFKOPqAe2NQZvf-BRe4anEjZg,66689
model_checker/cli.py,sha256=1eKgSA6uawcF5Bwd30a3oCmAOd6vT6-lNNxj6pQTkF0,2591
model_checker/model.py,sha256=usS1MnomtKlwFmcznfbrqozeOb-6WxuxEes5D4MtClI,48381
model_checker/syntactic.py,sha256=ZfI7bgQvCjmN7venC5dq6Qb9Nk4p23ohQDEZ_zeBGYg,41447
model_checker/utils.py,sha256=U2kDdgZec3IJvndFUDXLFGd34inf4zpFeM12jAJILWU,20557
model_checker/jupyter/NixOS_jupyter.md,sha256=FKz-440mlKjsOQBPcWDGeAbRLsFdGFCaZ4I3W2mrcIg,5911
model_checker/jupyter/README.md,sha256=ZFujyIz0g7Js2L0l7znyO1rmcCnlzdZkMCjBkzGr0lM,14929
model_checker/jupyter/TROUBLESHOOTING.md,sha256=8TCwaecsr4uU_NEgjv48iwBgrJNUQdzcBFziNz8EF9I,7119
model_checker/jupyter/__init__.py,sha256=G4rwn0NRe1jBnQ4XAyUwjZzwamas-IRkNVFOPOsd3QQ,3392
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=alov8FCzhDhB1Q00KHsSwABj2eMKeTYEeiS1LhKA4s0,77804
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/misc_notes/builder.md,sha256=xSJSdkQlkd9Xanm1aL-_SCZwvOrsrRtK5GQThXHd9Ak,7973
model_checker/misc_notes/extend_jupyter.md,sha256=RPOMze2tUaamRtbZjikg_x9wCB6DoWTOfcBmpGlXwrM,7318
model_checker/misc_notes/jupyter.md,sha256=PpsLI--FCzA1hWCs4xtCnz6g_IeF9GAaJCGXjzDmml8,27922
model_checker/misc_notes/refactor_API.md,sha256=4Xi1VKoYxDhM7gMghuxZYw0J8DXfG_IWGK-vpZBjzdk,13143
model_checker/misc_notes/testing.md,sha256=-4IxNQs5QKsESW975I_SPp5fmGZthOWgHUfDDbOsMTI,41792
model_checker/theory_lib/README.md,sha256=kdcjz87BmRP2JqiBfPN-pLuRLk9O_4wmoSP2Y9pzKPs,10496
model_checker/theory_lib/__init__.py,sha256=6gFu_O8BOqnYWPtNvTRZUF5nM0lAGE1S_NxQZpy6V-0,8572
model_checker/theory_lib/bimodal/README.md,sha256=dIIsHuSKxk7JGRcFBtrurfIXku1nPawxiFjEr_dfzCg,22529
model_checker/theory_lib/bimodal/__init__.py,sha256=522aJdVHSINgVHqU0Uf3MFDhgYqnP6R3Muo5TB9DaqI,2652
model_checker/theory_lib/bimodal/examples.py,sha256=aLVmgm3zW9uFKgliBYUJI_pO_1GfncEfWwcAK0rDMBI,10509
model_checker/theory_lib/bimodal/operators.py,sha256=vftiwDuwiXvWAV4d3WMGMijnzpPn4BQpGCpW0qCE9qo,34294
model_checker/theory_lib/bimodal/semantic.py,sha256=Lio1DnJXE0AhebbZgE3tju97wmEokhYTxCNX2eDdTrY,81489
model_checker/theory_lib/bimodal/notes/ABUNDANCE.md,sha256=L9Q3qQJIrv4bHsDaYmmSlBLKUk1HiC-aQ8O6mBqHNOM,39741
model_checker/theory_lib/bimodal/test/test_bimodal.py,sha256=0lDt9BBCz1WPFZ3mFi722JGSvDgTgfY63-rJdg9Almo,1524
model_checker/theory_lib/default/README.md,sha256=2DKpXa6_HL3BLe30g30ZUgJZiQi_HmTOTuoRkTtIAjc,13699
model_checker/theory_lib/default/__init__.py,sha256=Dbba2AeOujDtnqLzEnj4poFMQfOZmv4sN3Tc3TmQgWc,2340
model_checker/theory_lib/default/examples.py,sha256=_fI-UVoTeeCHmlr3sNRLEyuQpkpgnkHOZQ_42985gEM,31287
model_checker/theory_lib/default/operators.py,sha256=JRcl1Ka622qx2RUZFLZtCWTlCEJ7WWDWKCiBRGmQUMg,107781
model_checker/theory_lib/default/semantic.py,sha256=Z-61cD-syGPZCr7kMxquIRXrCidPrqMvMYSGiZRJnwE,43814
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=88DDIg3fLWPYkAgQ8-MjBBgAyZlpXvZ5Du3TVN7snfo,6495
model_checker/theory_lib/exclusion/__init__.py,sha256=_aUn2WKjAaDvhitnH0XgfEYnWy4m6pyQleCn9-hnc-o,411
model_checker/theory_lib/exclusion/examples.py,sha256=bsCSZRXAeEVHQkWkVKLbaGiPXTgzqvlrBxduZVeOwV4,23897
model_checker/theory_lib/exclusion/operators.py,sha256=1MKcZZ3w5lBsQazlob4zr6pXOF4bcUVQ34uSY45GZCg,8906
model_checker/theory_lib/exclusion/semantic.py,sha256=0dHTwDbo355VnzvvbE8O79nxhzIIoPjGKF6cwnKqyrE,32280
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=2DVg-t0mNbawiooFMN5DNipzlZxxS99C2na1ffK81NE,596
model_checker/theory_lib/imposition/__init__.py,sha256=0PCLHgXor_GmfYDyfpAOfxCDJtPBgudttnf8eaJXI9E,396
model_checker/theory_lib/imposition/examples.py,sha256=p142v2Oq23w5StBuJe6s4QCiwP44NWCIqikWjeabfFg,23419
model_checker/theory_lib/imposition/operators.py,sha256=u0tme0I6k5itbeY_azwsoh1S4F6zeSv8AFhqyvPh288,4939
model_checker/theory_lib/imposition/semantic.py,sha256=EoNRossJEhbXPOE3D8rH9ktU3w573Ny8k0mnnyFrrHY,7379
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.2.dist-info/licenses/LICENCE,sha256=1b7pP-AWYWwdmQvnAd2F4oWWP2zuFwBk4fFju8Jnm94,1064
model_checker-0.9.2.dist-info/METADATA,sha256=IwMbuQFlkqglxBOo9mlnvNRYk5Swxj1aDtsjJ3NDTAU,18508
model_checker-0.9.2.dist-info/WHEEL,sha256=CmyFI0kx5cdEMTLiONQRbGQwjIoR1aIYB7eCAQ4KPJ0,91
model_checker-0.9.2.dist-info/entry_points.txt,sha256=7hlkKi4UXiTnhucfBZugwRlQDPLqaOXAgHIY21Ca70o,61
model_checker-0.9.2.dist-info/top_level.txt,sha256=wjZ8SBeyvIK85NCrssYEy88PzhZ47jiLRpE01-_gG9U,14
model_checker-0.9.2.dist-info/RECORD,,
