model_checker/CLAUDE.md,sha256=ofyqcQiwJzAnuwHaprm-8Nq8ixNlYpT6RUYr56fvmoI,13016
model_checker/README.md,sha256=-ti9JMgMMGZuuzy9QUB78pOnDrQl7qq28qWiQdyeL4U,11413
model_checker/__init__.py,sha256=wD8jsuIvG1Jt-q9AnbCi6CTeSdny1YZf672BkRTtQYs,2234
model_checker/__main__.py,sha256=iTIbmGaepAln-OcbhlMRQ-xFZXZJYS3QFTODZWkIeRc,8839
model_checker/builder.py,sha256=rRNRIwlcgnHfEe1wT1id_ALyAnU2BbslplcFMq9stFA,62392
model_checker/cli.py,sha256=MHXZY7THhdHeId5vTD6torWSXJ0j3VBYLMt6I6ufAeQ,2200
model_checker/model.py,sha256=WIC4sP7vqwTGedt3x0PB_EyEsrAallEnOQWYpcplVtw,48430
model_checker/syntactic.py,sha256=ZfI7bgQvCjmN7venC5dq6Qb9Nk4p23ohQDEZ_zeBGYg,41447
model_checker/utils.py,sha256=4oUS6Chy3C5u32Gg7zLea13UeVikdTpBBE-9P05cQZg,21270
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=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=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/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/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=OtIIp8kCjkOQpecLFsFTizbolDpQLNKad4sntrIfx4U,6969
model_checker/settings/__init__.py,sha256=t0PnWYVCWpBLQdWx8U0IA1y2GpGqfQSOi7Cx98-6g-Y,343
model_checker/settings/settings.py,sha256=TnhLXj2Alqrc4H0ZtNWs9KgV-qvJXHpsyaOGFF2UTZc,8690
model_checker/tests/test_settings.py,sha256=p9WGk-lzThJ83W4Wz4gFo8tgDGEKkvfHVMrdxtnafbg,3564
model_checker/tests/test_settings_pipeline.py,sha256=Jm9Y6jOhfx3JVkLsG4yjuVWwbfzpv1nYu-FeXcYysKM,3851
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=VMRyIRyZwSw9N--fgxcdfHiGtEAp_9IswpUhwqyEfO4,25845
model_checker/theory_lib/bimodal/__init__.py,sha256=iVyD8J2JE5zMc_IWb8r24ihisGykVt4VdFXwtE13QJE,2636
model_checker/theory_lib/bimodal/examples.py,sha256=NwYmBOKN2IBZDmQBbR2SWGnoHaTvgWRlQEjcQTUw0Qk,12417
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=UUxRZDgl6K-XKBRheIBlkDydN16ItFu-17Ae0ttJ7yE,15281
model_checker/theory_lib/default/__init__.py,sha256=Dbba2AeOujDtnqLzEnj4poFMQfOZmv4sN3Tc3TmQgWc,2340
model_checker/theory_lib/default/examples.py,sha256=PBW4sUMugG4Iq_zc1GnioNmEOA9fUgsUjV244OXho9Y,30969
model_checker/theory_lib/default/operators.py,sha256=rnoAX6vuhFD63DNIMx4iMwp_mxSCHrTs-aP164vhleI,107525
model_checker/theory_lib/default/semantic.py,sha256=xDKCFTwIdwMahHrNsZAGLskthyTv7Vkgk3izjEe3w5g,43558
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=2dovQuq4xdWTZbo44OuzOzSlP3kmM4RMsKFcAevESKM,8407
model_checker/theory_lib/exclusion/__init__.py,sha256=_aUn2WKjAaDvhitnH0XgfEYnWy4m6pyQleCn9-hnc-o,411
model_checker/theory_lib/exclusion/examples.py,sha256=qFUKmczYNGOdJPIj_hJlE58ogNOFY9bew3nEbiYXaGY,23609
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=2DVg-t0mNbawiooFMN5DNipzlZxxS99C2na1ffK81NE,596
model_checker/theory_lib/imposition/__init__.py,sha256=0PCLHgXor_GmfYDyfpAOfxCDJtPBgudttnf8eaJXI9E,396
model_checker/theory_lib/imposition/examples.py,sha256=NSM-uCKNt46KL2zAdACTzMJcWlirds1UTx0s55pEGLU,23131
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.4.dist-info/licenses/LICENCE,sha256=1b7pP-AWYWwdmQvnAd2F4oWWP2zuFwBk4fFju8Jnm94,1064
model_checker-0.9.4.dist-info/METADATA,sha256=1zniM1bJaOwwBhRb5gr3BNIYbdeKvjK0gJ8F0fB1gig,18508
model_checker-0.9.4.dist-info/WHEEL,sha256=CmyFI0kx5cdEMTLiONQRbGQwjIoR1aIYB7eCAQ4KPJ0,91
model_checker-0.9.4.dist-info/entry_points.txt,sha256=7hlkKi4UXiTnhucfBZugwRlQDPLqaOXAgHIY21Ca70o,61
model_checker-0.9.4.dist-info/top_level.txt,sha256=wjZ8SBeyvIK85NCrssYEy88PzhZ47jiLRpE01-_gG9U,14
model_checker-0.9.4.dist-info/RECORD,,
