ASP Benchmark Suite

该数据集是一个由汉密尔顿循环和图可达性问题领域的非紧致程序组成的基准测试套件，这些程序来源于多个渠道。该基准集合包含了与汉密尔顿循环的图边以及图可达性问题的图节点相关的变量。规模上，该数据集包含了1470个实例。其任务是模型计数在答案集编程中的应用。

This dataset is a benchmark suite consisting of non-tight programs from the domains of Hamiltonian cycle and graph reachability problems, which are derived from multiple sources. This benchmark suite includes variables associated with graph edges for Hamiltonian cycle problems and graph nodes for graph reachability problems. In terms of scale, this dataset contains 1470 instances. Its core task is the application of model counting in Answer Set Programming (ASP).