FOND-SAT distribution

该数据集包括了纯FOND问题（强FOND和强循环FOND）在内的FOND-SAT分布，它被用作评估fond-asp规划器性能的基准。FOND问题涉及大的状态空间，规划器的性能与其他专业规划器进行了对比评估。本次任务是FOND规划。

This dataset includes FOND-SAT distributions covering pure FOND problems (strong FOND and strong cyclic FOND), which serves as a benchmark for evaluating the performance of the FOND-ASP planner. FOND problems typically involve large state spaces, and the planner's performance was comparatively assessed against other specialized state-of-the-art planners. The core task addressed herein is FOND planning.