logic_server/__init__.py,sha256=JnpPW7OkRHKEKdmXQ_Fp9KdrAn8u4ufhJqTR7YG_HoM,1072
logic_server/cli/__init__.py,sha256=TokU4hm7kNqLySGZewObZ26q55bH4q2g2KkOssZ2ghs,49
logic_server/cli/main.py,sha256=QVfIQUloVGenPIp5tLDx5gKhVLgt7FMs8FiLVrV4lkI,3733
logic_server/core/__init__.py,sha256=lGE11fxfqQbbU7n4HBtKEtmfAf3wzQAiJN6n3MFTDDw,1069
logic_server/core/formatting.py,sha256=4J4Ur4IyOfNH4N_f2R8E3d7Euv9PruyeC6bAUA3vNdk,1737
logic_server/core/mqi_solver.py,sha256=_F8is7qoDJzzvZb1gDNSZp2BxzxfZ2dh8F2iY5nCIeU,7506
logic_server/core/prolog_pool.py,sha256=DoEhHRZ2mcqFMiggx-PUWmlakbp-cgURQ108TQPfe7w,9123
logic_server/core/schema.py,sha256=nEbd0OQeZpxfFgQSExylWWetPA27sqZbnUTzU-4sSvg,4897
logic_server/core/session.py,sha256=FjdMacSU_rRA_V-UN6Poa7SLeY5msKzVkdNijcjBQNY,35810
logic_server/core/solver.py,sha256=sot0HnecYRf7MZDl2XxeKHTFNeZKJf8lS_bWxtHX2Ws,17185
logic_server/llm/__init__.py,sha256=bDOKwHA9BzwRHIvt8X7lVIt-kH_FnPmYgK0QYgOqMWw,203
logic_server/llm/clients.py,sha256=FBX6NnfsS9x1nEOVsgu-xfBRG8SibzsaWCUb7MEjK10,3735
logic_server/mcp/__init__.py,sha256=_zNkyrEZkgmQw-S624-mEQ0dQBqSYLZ5FCL59bWR2SQ,86
logic_server/mcp/server.py,sha256=BVMf42xJRzvLaL79n7-tdMf3b_7lnF-UbW1igz6cG0U,12749
logic_server/mcp/stateful.py,sha256=O_EYCGVeJRhSx9sGcFT_IPFnMRJBJ30_xX6t685iEDY,21949
prolog_logic_server-0.1.3.data/scripts/logic_server,sha256=NFWtXGpAdCn8En_73nmPlg9KUdjzyusxNmgRzCokbdY,408
prolog_logic_server-0.1.3.data/scripts/logic_server_mcp,sha256=DVPp-t6_1t5JYznYfaWI6r-DFCY0NE9iAKk4SRL2bxc,444
prolog_logic_server-0.1.3.dist-info/licenses/LICENSE,sha256=ayCBlXWn1N-fE5kttN5B0jkOXd4Ei2L3sWWgzVsw9Ks,1071
prolog_logic_server-0.1.3.dist-info/METADATA,sha256=ufPgW859uc3ZSOeJb0LQiCFArbOQRSxo3ymoH1oS7cA,11661
prolog_logic_server-0.1.3.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
prolog_logic_server-0.1.3.dist-info/entry_points.txt,sha256=xbjVut1N10rE7Q55R-CFq5mJf1zSo8rYCzlTtLIyikQ,110
prolog_logic_server-0.1.3.dist-info/top_level.txt,sha256=nMQqOe3fnkC9wDMaMK8UxYxo-StYFjZPUMjRAwwl9nM,13
prolog_logic_server-0.1.3.dist-info/RECORD,,
