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=dtD7LtHgmUi9FBqlCsRgmc9MEwTPI84EZsUYkaBpFtU,14153
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=TknfBjfxJb5A05gEUurI4BWkg6tYcvfz6XDaO-hWWIg,12748
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.5.data/scripts/logic_server,sha256=NFWtXGpAdCn8En_73nmPlg9KUdjzyusxNmgRzCokbdY,408
prolog_logic_server-0.1.5.data/scripts/logic_server_mcp,sha256=DVPp-t6_1t5JYznYfaWI6r-DFCY0NE9iAKk4SRL2bxc,444
prolog_logic_server-0.1.5.dist-info/licenses/LICENSE,sha256=ayCBlXWn1N-fE5kttN5B0jkOXd4Ei2L3sWWgzVsw9Ks,1071
prolog_logic_server-0.1.5.dist-info/METADATA,sha256=pBoCL2kSVZ7ZDGwmc6H1or_dgYBAFszpCBdwF89qiSA,11693
prolog_logic_server-0.1.5.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
prolog_logic_server-0.1.5.dist-info/entry_points.txt,sha256=xbjVut1N10rE7Q55R-CFq5mJf1zSo8rYCzlTtLIyikQ,110
prolog_logic_server-0.1.5.dist-info/top_level.txt,sha256=nMQqOe3fnkC9wDMaMK8UxYxo-StYFjZPUMjRAwwl9nM,13
prolog_logic_server-0.1.5.dist-info/RECORD,,
