hylogic/__init__.py,sha256=CUWcs7UeaCP1LfGnWD5dYlRDOT8DC4dzMjfM4MRaCew,1728
hylogic/argument.hy,sha256=CYGZCwCtqTLrpKzMWH4okqbvx9ORhpKdM-k-BjlxGvI,5276
hylogic/cdcl.hy,sha256=_vgbFrjI9qonneypF1C_C6v-zcitxLAW-AU5RVIxOVw,8515
hylogic/connectives.hy,sha256=Vx3H6gzo1oLLmvh6fThYuinvcCifKGc-qQiEaD8h47M,2609
hylogic/equality.hy,sha256=XQzDV1duwqHSd6KgTnpYkUNABHQ-xbZOviRgHEh-Bhs,1972
hylogic/euf.hy,sha256=8J-tAfv6xShC4Sj6epGClPrpIglJOpl5p08rQ_bgcTM,7569
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=p0-ZViN1wwHK0X7zxcJFGLyqIImDlMoHIFJUCdoGYus,10457
hylogic/formulas.hy,sha256=XuoP3r83OBjVdaTMuX0uOhS8DlU3ZTXu9A544cW4piQ,4698
hylogic/ground.hy,sha256=hMPTI06DzMT_rNDWorw4QIcn2mQSVx2nATUNdeLWV6Q,8912
hylogic/grounding.hy,sha256=nLESTdGFOpMOGyrY3v-HWhf_614RIL_1ey--zcaJwzs,4219
hylogic/ipython.py,sha256=tylt7buCkjzbXOzz6zIva9K1tap8y6d81h7KNIzbOsc,1149
hylogic/lean.hy,sha256=z7ThHHZkCVkAqEqqq1oTO-IM50kWdjPM-ACmBOhueYM,3676
hylogic/mcp_server.py,sha256=qYczGaC-fEnacolWdVSTmGbWi2iEFB5NMt4faozsQIs,4603
hylogic/models.hy,sha256=kI5P3f1Jt5pUI8XIfwLDrnfHx9oYefWJi7nfsG-RHPc,5883
hylogic/problems.hy,sha256=acoJWmW6NjlCDtrbnuhpmYfENZHssGIK1kkg4ca8ibE,3955
hylogic/quantifiers.hy,sha256=zhTF-Sb5iPIMVDJ3XhryhhG7VWooBRnvTGfoK2AB7yo,737
hylogic/resolution.hy,sha256=GhVRq8AkTnedrp8PzabFLMv-spQepoaMcccbxfW9L6g,24230
hylogic/rewrite.hy,sha256=WOwRG1lsOjlRfH75U17SciAGqaaNjEqO7LMGpTpsqck,3417
hylogic/sat.hy,sha256=SLcPTmDkugYlcaVOlHi5fRaLnHLP5UIiuw1cutJCLZI,5858
hylogic/session.py,sha256=Mayc88POm2A49sm8m4EBjOvh1Oc4i4ZuLlGjEVgxRTE,1215
hylogic/superposition.hy,sha256=lf5-t4Vh03x9n3lVjGcv5Fl9P9U6tF_DlUa6IuCyo2o,7686
hylogic/terms.hy,sha256=WDahsHqgG2kShhhctwaCgBgrRhn-GGwhHoajiJiZh-A,1527
hylogic/tptp.hy,sha256=NIZAwtpGF0Uh-Rme-p8QyAzPnpcy526ziP88Z9IEW7c,14912
hylogic/truth.hy,sha256=2HIIGUa7TMDGRlaVWJavsh9fA_onzI09PyCWNhhy1J4,4321
hylogic/unify.hy,sha256=m320A2lc4FxLq533sFP4RmPiIigNQCnT-V5qKbf7VgY,2983
hylogic-1.3.0.dist-info/licenses/LICENSE,sha256=hwTkZmh8ZKDanuJMs6knGa4EPwCo6ntdOdStAVMlv8s,1071
hylogic-1.3.0.dist-info/METADATA,sha256=PONRFhhPaf6W6hdvo8e48mFdWe7kzPwgUeV24MGPLCY,13857
hylogic-1.3.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
hylogic-1.3.0.dist-info/entry_points.txt,sha256=9zB8f0VMZsBr-yAqBmrz4Esk4boOkF7fE1Ivbj6xAa8,56
hylogic-1.3.0.dist-info/top_level.txt,sha256=_puti4hY5xsfKFNx5TyslLFLNlQfz34aXdv7pccOcEI,8
hylogic-1.3.0.dist-info/RECORD,,
