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=L2iLNYzE82vh-t_8SVFmSp1MjuucSwLMopwQrHNylK4,13581
logic_server/core/prolog_pool.py,sha256=DoEhHRZ2mcqFMiggx-PUWmlakbp-cgURQ108TQPfe7w,9123
logic_server/core/schema.py,sha256=vgjtsqVKsvaXMkvHLwK9VzaAKfKHFDXjCZ_-nfjBKVY,4673
logic_server/core/session.py,sha256=aHtzF9iK2vD9wBl4GLacYarddQgImB2ZEQ7RGtgOdjE,34924
logic_server/core/solver.py,sha256=zzC9nr0X8kbEbud5VkD-JigCJXCHvuv3e-QwFyr-a5U,12736
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=4K7c5mxT8bEFxZOMbOuVBQW-38xpNVGzTRB_YS2CNmc,13850
logic_server/mcp/stateful.py,sha256=v0bgp1yj2GHGRGzhJc-AzKo89E4TvpilkavgZrL6VDQ,24823
prolog_logic_server-0.1.4.data/scripts/logic_server,sha256=NFWtXGpAdCn8En_73nmPlg9KUdjzyusxNmgRzCokbdY,408
prolog_logic_server-0.1.4.data/scripts/logic_server_mcp,sha256=DVPp-t6_1t5JYznYfaWI6r-DFCY0NE9iAKk4SRL2bxc,444
prolog_logic_server-0.1.4.dist-info/licenses/LICENSE,sha256=ayCBlXWn1N-fE5kttN5B0jkOXd4Ei2L3sWWgzVsw9Ks,1071
prolog_logic_server-0.1.4.dist-info/METADATA,sha256=WHCKRGqRvngjn2um7dno33eWjCLZQxkopHfrLw7ljeg,11693
prolog_logic_server-0.1.4.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
prolog_logic_server-0.1.4.dist-info/entry_points.txt,sha256=xbjVut1N10rE7Q55R-CFq5mJf1zSo8rYCzlTtLIyikQ,110
prolog_logic_server-0.1.4.dist-info/top_level.txt,sha256=nMQqOe3fnkC9wDMaMK8UxYxo-StYFjZPUMjRAwwl9nM,13
prolog_logic_server-0.1.4.dist-info/RECORD,,
