FOND-SAT distribution

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