tensorlogic/__init__.py,sha256=EpDUrS2_6dli5MbmBj-JpySK57y4LCQ6Yu_In3cHmrc,337
tensorlogic/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tensorlogic/api/__init__.py,sha256=e7obgHYASScOEcMzKx6Dw3TK57CfNEYch3fV1hDIyGs,1262
tensorlogic/api/compiler.py,sha256=tMVUCGAEIPI7IWfvOmCfniuXNib7ioEwQ6SHvxExRGc,8026
tensorlogic/api/errors.py,sha256=BbZHHji2p75zN7H5GrLBA3Myl8Cu-QEDPe9D3g9P4io,4106
tensorlogic/api/parser.py,sha256=5ce5C62MXpNOLKxnOEAO4hVqQfEGjiqMnGJE1uMF-as,17460
tensorlogic/api/patterns.py,sha256=oqbO9pcebBZ2_Ur9HG1My8wKOFFvlC9IW2DExGsSk8g,22278
tensorlogic/api/validation.py,sha256=pBG1fh_OMvu66u76p5qrz73UFrQ3v4xA8-gMDshkmok,9234
tensorlogic/backends/__init__.py,sha256=gvp1G3CzY9LSC_9M18ubc15fWK1YmQMzdd79gu7HVcA,1286
tensorlogic/backends/factory.py,sha256=IlM1skgux2VXn_EnQTo9pqjhIFQt__F-gRhnI3TvNDM,3697
tensorlogic/backends/mlx.py,sha256=FxRTb0xwsSm8ZtNyFRJ1f8GYrsepFM6mcyOhlKfBIBM,16727
tensorlogic/backends/numpy.py,sha256=_FIYyUXny77XjLWJ1KHerSxieD1n3GKkRXBGZa8LxPA,14136
tensorlogic/backends/protocol.py,sha256=uwymrbS2H22QdfrSRvfi6M4447yUbACXQfbVBsskLMc,14545
tensorlogic/compilation/__init__.py,sha256=m9RL6KBb5MQaMTwcAsVvZ0F_o6zjOSf5LbDIch9HunY,1272
tensorlogic/compilation/factory.py,sha256=d73awKi7cKSkV-IIFghCrqlymNteqt11DPPrsE_prCw,4907
tensorlogic/compilation/protocol.py,sha256=2WXkILbAoyt0pD4QnQxVugnlBETub2p159BbiH27zaA,8486
tensorlogic/compilation/strategies/__init__.py,sha256=kZqtfBm08zKqf5jPiiwydMw9qrii7XpP_2Zl8zREdTc,742
tensorlogic/compilation/strategies/godel.py,sha256=4KHtw9-BYGn__lMcr0ZU1G61y85JSd2-rif8cppfJR0,10079
tensorlogic/compilation/strategies/hard.py,sha256=P4pJrMtNsnnxaNnvLmaJZ8nJ6zt5lciWC4gmh-A0du8,10717
tensorlogic/compilation/strategies/lukasiewicz.py,sha256=0LfuHNt8WEioJoZG0wWqcAfZfFt4JC8YCgIyCa2COBI,10114
tensorlogic/compilation/strategies/product.py,sha256=j15YqpUu0goYFiTB5WM8wBHyzhJQhKUTFjdn0h5TE1A,9577
tensorlogic/compilation/strategies/soft.py,sha256=X7H3KhzRwVHm8xmk-2n_bYKZj2eJ9OrLInVMPG3yXz4,9303
tensorlogic/core/__init__.py,sha256=clAwToou8vlxBiv8-C53EuYGwbyqZy6Pdkn2OaJutj0,1410
tensorlogic/core/composition.py,sha256=n1YG7dYHPtaYcyL21InSqLy7eEEGZEnStEgU65StdhE,4390
tensorlogic/core/operations.py,sha256=AcdrLTj_KL44NogrX9HQ8zHRME4quytC15nR30scr1I,8432
tensorlogic/core/quantifiers.py,sha256=Sb6zq2aa-bcXUEkRQzbZGPDPlDz7eOxd54RJj2YJ76E,6014
tensorlogic/core/temperature.py,sha256=9SnpSoLdbQCtIvCPSC0MDhD4d_MBmSTX_yWAdWoGlyw,6566
tensorlogic/verification/__init__.py,sha256=3jtbjYjhCwLswjW2RAgB_hFKJ4jiLcMdV9JejIWaWO0,2011
tensorlogic/verification/lean_bridge.py,sha256=iqh_PH1dgphlg1ydtzdz2LScKRN9RQYNCsdv5AHGnLQ,8556
tensorlogic/verification/results.py,sha256=8H0u0tPxdUv1zKSp0nm11wPb_gbbejZOwJbgLAO1scE,3586
python_tensorlogic-0.1.0.dist-info/METADATA,sha256=9gZ-bEGwfLyTBlfcKj9_9jDkRg85ygNyuDh53BTGddU,5884
python_tensorlogic-0.1.0.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
python_tensorlogic-0.1.0.dist-info/licenses/LICENSE,sha256=prxQC8cIxnPUVlEHgp7Ot9jEDGSFsGZVpweRucImmJI,1068
python_tensorlogic-0.1.0.dist-info/RECORD,,
