Metadata-Version: 2.4
Name: ddss
Version: 0.0.12
Summary: Distributed Deductive System Sorts
Author: Hao Zhang
Author-email: Hao Zhang <hzhangxyz@outlook.com>
License-Expression: AGPL-3.0-or-later
Requires-Dist: apyds~=0.0.7
Requires-Dist: apyds-bnf~=0.0.7
Requires-Dist: cloudpickle~=3.1.2
Requires-Dist: egglog~=12.0.0
Requires-Dist: prompt-toolkit~=3.0.52
Requires-Dist: sqlalchemy[aiosqlite,aiomysql,postgresql-asyncpg]~=2.0.45
Requires-Python: >=3.13
Project-URL: Repository, https://github.com/USTC-KnowledgeComputingLab/ddss.git
Description-Content-Type: text/markdown

# Distributed Deductive System Sorts
