hylogic/__init__.py,sha256=GdiZj9QYuQj74g7MbKxV96SGH0DJdDv_TdcMAjg8UAQ,1728
hylogic/argument.hy,sha256=k97apxAaiV57hmyYDeytguMDbeYu9GipdI_hJLoOuqA,8205
hylogic/cdcl.hy,sha256=S8jyu_yALFWSfBP4aFQHszo48WPD5a_VgHS42h-uBSc,12331
hylogic/certify.hy,sha256=cPYdB8zhfC1pnGCN9PqrXkppVy0F2QFhEVLGLSSl5zk,22786
hylogic/connectives.hy,sha256=Vx3H6gzo1oLLmvh6fThYuinvcCifKGc-qQiEaD8h47M,2609
hylogic/equality.hy,sha256=XQzDV1duwqHSd6KgTnpYkUNABHQ-xbZOviRgHEh-Bhs,1972
hylogic/euf.hy,sha256=qSZQ3AgfTtAoboaq5ESkukX8MtvdNefFdT_YG5xEXIw,10596
hylogic/evaluate.hy,sha256=9p5_MjWyc4UQ-obo1J6n7BkNuwKN78rAP5K8ghOKE3g,2665
hylogic/exercise_sets.hy,sha256=WAx_EIoNM311O_H0hCu47o0XbGt-AVf3k1NWc7uvQ5o,5627
hylogic/exercises.hy,sha256=sOw_3EGSgUjK9f4YfDIGIGctC4VyWpLu50UqMsMl4P8,5060
hylogic/export.hy,sha256=ycR8Rl-eh05vjzusP1J3Dr91UtlcriIK05fQb3LjpCE,5896
hylogic/external.hy,sha256=CwSiJrSlVuTWaHOzmlMBr2UItJJZUDwmu8N27ypdsXs,5600
hylogic/finite.hy,sha256=VxaKXVIr_Sx1bY0fmByEtTZWD3KQvSRUjaKjxg7o27A,11279
hylogic/formulas.hy,sha256=XuoP3r83OBjVdaTMuX0uOhS8DlU3ZTXu9A544cW4piQ,4698
hylogic/ground.hy,sha256=lzgfVxK9CQZMZ4trmTr8Bbqajr3LPOCqIUR8aq9C_Cs,9408
hylogic/grounding.hy,sha256=N6LOFi4SoBgnmbWIRymZBvAv0XfCwYv-tEY5vLXHE14,7194
hylogic/ipython.py,sha256=tylt7buCkjzbXOzz6zIva9K1tap8y6d81h7KNIzbOsc,1149
hylogic/lean.hy,sha256=Tl3PpvCc9PF0l68Azjn_-2WMoT2vVj7WbWKl4o8lxxM,3719
hylogic/mcp_server.py,sha256=l_jBgXfuwUMYROT2b7P71fuK6UJdP2Q7eYzkAo0DorU,9070
hylogic/models.hy,sha256=CHxwNEeozgmsYNjK-w_7tzyYzj7T5WC94FNcYOv2WjQ,6440
hylogic/problems.hy,sha256=acoJWmW6NjlCDtrbnuhpmYfENZHssGIK1kkg4ca8ibE,3955
hylogic/quantifiers.hy,sha256=zhTF-Sb5iPIMVDJ3XhryhhG7VWooBRnvTGfoK2AB7yo,737
hylogic/resolution.hy,sha256=ZNFN5O84d6Z0v4PSjeyuxwHfJSm_JkXqYDvhilyFUlw,26480
hylogic/rewrite.hy,sha256=WOwRG1lsOjlRfH75U17SciAGqaaNjEqO7LMGpTpsqck,3417
hylogic/sat.hy,sha256=SLcPTmDkugYlcaVOlHi5fRaLnHLP5UIiuw1cutJCLZI,5858
hylogic/session.py,sha256=Mayc88POm2A49sm8m4EBjOvh1Oc4i4ZuLlGjEVgxRTE,1215
hylogic/superposition.hy,sha256=UKKbN07JqQwB0x2zJS6obRy0dIeb3JyTekA577Tr7Mo,8767
hylogic/terms.hy,sha256=WDahsHqgG2kShhhctwaCgBgrRhn-GGwhHoajiJiZh-A,1527
hylogic/tptp.hy,sha256=mpSAlARZVIufI-RUUleemEjruZcBhnNPXSkX2j86JK0,17478
hylogic/truth.hy,sha256=2HIIGUa7TMDGRlaVWJavsh9fA_onzI09PyCWNhhy1J4,4321
hylogic/unify.hy,sha256=flE2ktCIpxmPKQUJDnXlkf2UZKbp7ZY08rH21o1QPgQ,3285
hylogic-1.5.1.dist-info/licenses/LICENSE,sha256=hwTkZmh8ZKDanuJMs6knGa4EPwCo6ntdOdStAVMlv8s,1071
hylogic-1.5.1.dist-info/METADATA,sha256=cMa7pVNCxkTO2__HWePDHraX43sY_P2WbHc4nNfpoJE,16111
hylogic-1.5.1.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
hylogic-1.5.1.dist-info/entry_points.txt,sha256=9zB8f0VMZsBr-yAqBmrz4Esk4boOkF7fE1Ivbj6xAa8,56
hylogic-1.5.1.dist-info/top_level.txt,sha256=_puti4hY5xsfKFNx5TyslLFLNlQfz34aXdv7pccOcEI,8
hylogic-1.5.1.dist-info/RECORD,,
