Commit Graph

3 Commits

Author SHA1 Message Date
wuziji 6adc7c750e IMPROVE: 增加目标状态数据,删除非holding谓词的nothing 2023-11-14 20:22:53 +08:00
wuziji 5ad86fe560 New: 完成目标状态数据集的构建 2023-11-14 16:54:30 +08:00
wuziji 5cfd97ba17 New: 完成目标状态数据集的构建 2023-11-14 16:18:13 +08:00