hylogic/__init__.py,sha256=4B25JNanJsN1GRGHcZzrE1j5a4LH_nXysWn8DkV_qLI,1728
hylogic/argument.hy,sha256=CYGZCwCtqTLrpKzMWH4okqbvx9ORhpKdM-k-BjlxGvI,5276
hylogic/cdcl.hy,sha256=S8jyu_yALFWSfBP4aFQHszo48WPD5a_VgHS42h-uBSc,12331
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=Akkzh84DMIFft6NGViEBw-WQMUFuSVJvCf6ehhZPo6A,10876
hylogic/formulas.hy,sha256=XuoP3r83OBjVdaTMuX0uOhS8DlU3ZTXu9A544cW4piQ,4698
hylogic/ground.hy,sha256=ftHOvFseI8o3ptc6xY35oDYdVewV9LTTQBONptCrWVA,9118
hylogic/grounding.hy,sha256=JjKZDIeTDG983Cmgom5XA7QcNZfiD2HqH_0RIdyzdkA,6825
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=hw9qiu3ht-W9fgNkaide3_e3efJJlhrfvcDQ9H5al3I,25658
hylogic/rewrite.hy,sha256=WOwRG1lsOjlRfH75U17SciAGqaaNjEqO7LMGpTpsqck,3417
hylogic/sat.hy,sha256=SLcPTmDkugYlcaVOlHi5fRaLnHLP5UIiuw1cutJCLZI,5858
hylogic/session.py,sha256=Mayc88POm2A49sm8m4EBjOvh1Oc4i4ZuLlGjEVgxRTE,1215
hylogic/superposition.hy,sha256=AI8VS7XJ6S59qQAgOhbucU4I5UvYjM5A9yNlzc1rTD4,8405
hylogic/terms.hy,sha256=WDahsHqgG2kShhhctwaCgBgrRhn-GGwhHoajiJiZh-A,1527
hylogic/tptp.hy,sha256=PvWKhnF87f9-BpY_TBfAY3wr0Y2zLG1gGXjvzNysUU4,17177
hylogic/truth.hy,sha256=2HIIGUa7TMDGRlaVWJavsh9fA_onzI09PyCWNhhy1J4,4321
hylogic/unify.hy,sha256=flE2ktCIpxmPKQUJDnXlkf2UZKbp7ZY08rH21o1QPgQ,3285
hylogic-1.4.0.dist-info/licenses/LICENSE,sha256=hwTkZmh8ZKDanuJMs6knGa4EPwCo6ntdOdStAVMlv8s,1071
hylogic-1.4.0.dist-info/METADATA,sha256=GAn1g_ZNxWpwNrX0KRTN_0MBS9b8VlUEvMllt9M_ndE,14158
hylogic-1.4.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
hylogic-1.4.0.dist-info/entry_points.txt,sha256=9zB8f0VMZsBr-yAqBmrz4Esk4boOkF7fE1Ivbj6xAa8,56
hylogic-1.4.0.dist-info/top_level.txt,sha256=_puti4hY5xsfKFNx5TyslLFLNlQfz34aXdv7pccOcEI,8
hylogic-1.4.0.dist-info/RECORD,,
